doc/symbols-texonly.tex

Sat, 07 Dec 2024 14:04:26 -0500

author
Tuomo Valkonen <tuomov@iki.fi>
date
Sat, 07 Dec 2024 14:04:26 -0500
changeset 62
6d9de6d05ef7
parent 59
743984f4664e
permissions
-rw-r--r--

Zenodo packaging hacks

59
743984f4664e Add auxiliary results
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
1
743984f4664e Add auxiliary results
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
2 \renewrobustcmd{\downto}{{{\mathchoice%
743984f4664e Add auxiliary results
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
3 {\rotatebox[origin=c]{-20}{$\to$}}% display
743984f4664e Add auxiliary results
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
4 {\rotatebox[origin=c]{-20}{$\to$}}% text
743984f4664e Add auxiliary results
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
5 {\rotatebox[origin=c]{-20}{\scalebox{0.75}{$\to$}}}% subscript
743984f4664e Add auxiliary results
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
6 {\rotatebox[origin=c]{-20}{\scalebox{0.6}{$\to$}}}% subsubscript
743984f4664e Add auxiliary results
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
7 }}}
743984f4664e Add auxiliary results
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
8
743984f4664e Add auxiliary results
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
9 \renewrobustcmd{\upto}{{{\mathchoice%
743984f4664e Add auxiliary results
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
10 {\rotatebox[origin=c]{20}{$\to$}}% display
743984f4664e Add auxiliary results
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
11 {\rotatebox[origin=c]{20}{$\to$}}% text
743984f4664e Add auxiliary results
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
12 {\rotatebox[origin=c]{20}{\scalebox{0.75}{$\to$}}}% subscript
743984f4664e Add auxiliary results
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
13 {\rotatebox[origin=c]{20}{\scalebox{0.6}{$\to$}}}% subsubscript
743984f4664e Add auxiliary results
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
14 }}}
743984f4664e Add auxiliary results
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
15

mercurial