Add `mapsto` (Proposal 24)#38

Merged

MDLC01 merged 2 commits intotypst:mainfrom

T0mstone:mapsto

Jan 23, 2025

Commits on Jan 21, 2025

Add to and mapsto
T0mstone
committed

Commits on Jan 22, 2025

Remove `to` again
T0mstone
committed