From def24087ed87f0bf8fb6843c102cf46d1480d18c Mon Sep 17 00:00:00 2001 From: Deadbeef Date: Sat, 20 Dec 2025 19:22:42 -0500 Subject: [PATCH] Add `mapsfrom` and `mapsfrom.long` --- CHANGELOG.md | 2 ++ src/modules/sym.txt | 2 ++ 2 files changed, 4 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index e6e8db4..4925900 100644 --- 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 index 439ccf1..d9a82cf 100644 --- 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 ∗