Add mapsfrom and mapsfrom.long (#135)

fee1-dead · web-flow · commit d9b0a489ae24 · 2026-04-25T11:25:47.000+02:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -25,6 +25,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
@@ -568,6 +568,8 @@ qed ∎
 // Function and category theory.
 mapsto ↦
   .long ⟼
+mapsfrom ↤
+  .long ⟻
 compose ∘
   .o ⊚
 convolve ∗
