[NTG-context] Math literal colon

Manuel Blanco manuelbl at ucm.es
Mon Jul 20 17:50:01 CEST 2015


A little bit more of intelligence can be given with

    \begingroup\lccode`\~=`\:\lowercase{\endgroup
      \unexpanded\def~}{\futurelet\tmptoken\docolon}
    \unexpanded\def\docolon{\ifx=\tmptoken\mathrel{\mathop{\mathchar`\:}}\else\colon\fi}
    \mathcode`\:="8000 %

That lets you do $f: A \to B$ and $f(x) := x^2$


More information about the ntg-context mailing list