Add mapsfrom and mapsfrom.long

fee1-dead · fee1-dead · commit 189918edcce7 · 2025-12-21T12:56:09.000-05:00
diff --git 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
@@ -549,6 +549,8 @@ qed ∎
 // Function and category theory.
 mapsto ↦
   .long ⟼
+mapsfrom ↤
+  .long ⟻
 compose ∘
   .o ⊚
 convolve ∗
