doc/symbols-texonly.tex

changeset 59
743984f4664e
equal deleted inserted replaced
58:2a86c4c98622 59:743984f4664e
1
2 \renewrobustcmd{\downto}{{{\mathchoice%
3 {\rotatebox[origin=c]{-20}{$\to$}}% display
4 {\rotatebox[origin=c]{-20}{$\to$}}% text
5 {\rotatebox[origin=c]{-20}{\scalebox{0.75}{$\to$}}}% subscript
6 {\rotatebox[origin=c]{-20}{\scalebox{0.6}{$\to$}}}% subsubscript
7 }}}
8
9 \renewrobustcmd{\upto}{{{\mathchoice%
10 {\rotatebox[origin=c]{20}{$\to$}}% display
11 {\rotatebox[origin=c]{20}{$\to$}}% text
12 {\rotatebox[origin=c]{20}{\scalebox{0.75}{$\to$}}}% subscript
13 {\rotatebox[origin=c]{20}{\scalebox{0.6}{$\to$}}}% subsubscript
14 }}}
15

mercurial