Skip to content

Provide \to and \mapsto as shortcuts#8

Draft
tobiasdiez wants to merge 1 commit into
astoff:masterfrom
tobiasdiez:patch-1
Draft

Provide \to and \mapsto as shortcuts#8
tobiasdiez wants to merge 1 commit into
astoff:masterfrom
tobiasdiez:patch-1

Commits

Commits on Apr 29, 2020