Add mapsto.rev and mapsto.rev.long

fee1-dead · fee1-dead · commit 8d8fcccc77ea · 2025-12-20T19:22:42.000-05:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -15,6 +15,8 @@
   - `gt.arc.eq` ⪩
   - `lt.arc`: ⪦
   - `lt.arc.eq`: ⪨
+  - `mapsto.rev`: ↤
+  - `mapsto.rev.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 ⟼
+  .rev ↤
+  .rev.long ⟻
 compose ∘
   .o ⊚
 convolve ∗
