20 Jul
2015
20 Jul
'15
5:50 p.m.
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$