doc/symbols-texonly.tex

Fri, 28 Mar 2025 08:38:05 -0500

author
Tuomo Valkonen <tuomov@iki.fi>
date
Fri, 28 Mar 2025 08:38:05 -0500
changeset 60
680e7ec7c7f8
parent 59
743984f4664e
permissions
-rw-r--r--

bump version


\renewrobustcmd{\downto}{{{\mathchoice%
            {\rotatebox[origin=c]{-20}{$\to$}}% display
            {\rotatebox[origin=c]{-20}{$\to$}}% text
            {\rotatebox[origin=c]{-20}{\scalebox{0.75}{$\to$}}}% subscript
            {\rotatebox[origin=c]{-20}{\scalebox{0.6}{$\to$}}}% subsubscript
}}}

\renewrobustcmd{\upto}{{{\mathchoice%
            {\rotatebox[origin=c]{20}{$\to$}}% display
            {\rotatebox[origin=c]{20}{$\to$}}% text
            {\rotatebox[origin=c]{20}{\scalebox{0.75}{$\to$}}}% subscript
            {\rotatebox[origin=c]{20}{\scalebox{0.6}{$\to$}}}% subsubscript
}}}

mercurial