Fri, 28 Mar 2025 10:34:40 -0500
Added tag v0.1.0 for changeset 680e7ec7c7f8
\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 }}}