diff --git a/CHANGELOG.md b/CHANGELOG.md index c460b96..226b301 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -15,6 +15,8 @@ - `gt.arc.eq` ⪩ - `lt.arc`: ⪦ - `lt.arc.eq`: ⪨ + - `mapsfrom`: ↤ + - `mapsfrom.long` ⟻ - `subset.approx`: ⫉ - `subset.closed`: ⫏ - `subset.closed.eq`: ⫑ diff --git a/src/modules/sym.txt b/src/modules/sym.txt index 1e28454..d24405e 100644 --- a/src/modules/sym.txt +++ b/src/modules/sym.txt @@ -549,6 +549,8 @@ qed ∎ // Function and category theory. mapsto ↦ .long ⟼ +mapsfrom ↤ + .long ⟻ compose ∘ .o ⊚ convolve ∗