From 9a5f1f691282c5498946e54c2bf06e78dc183eec Mon Sep 17 00:00:00 2001 From: T0mstone Date: Tue, 21 Jan 2025 15:57:19 +0100 Subject: [PATCH 1/2] Add to and mapsto --- src/modules/sym.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/modules/sym.txt b/src/modules/sym.txt index 8d98041..c13bf14 100644 --- a/src/modules/sym.txt +++ b/src/modules/sym.txt @@ -497,6 +497,9 @@ because ∵ qed ∎ // Function and category theory. +to → +mapsto ↦ + .long ⟼ compose ∘ convolve ∗ multimap ⊸ From e8f238643226bb1d31cb00c5034fe165bccbf0a9 Mon Sep 17 00:00:00 2001 From: T0mstone Date: Wed, 22 Jan 2025 17:54:05 +0100 Subject: [PATCH 2/2] Remove `to` again --- src/modules/sym.txt | 1 - 1 file changed, 1 deletion(-) diff --git a/src/modules/sym.txt b/src/modules/sym.txt index c13bf14..bc7372a 100644 --- a/src/modules/sym.txt +++ b/src/modules/sym.txt @@ -497,7 +497,6 @@ because ∵ qed ∎ // Function and category theory. -to → mapsto ↦ .long ⟼ compose ∘