Add to and mapsto (Proposal 24) (#38)

T0mstone · web-flow · commit 0a8853f4347f · 2025-01-23T10:03:33.000+01:00
diff --git a/src/modules/sym.txt b/src/modules/sym.txt
@@ -503,6 +503,8 @@ because ∵
 qed ∎
 
 // Function and category theory.
+mapsto ↦
+  .long ⟼
 compose ∘
 convolve ∗
 multimap ⊸
