8d674fb669
Redefines \ddots and \vdots, and defines \iddots. The dots produced by \iddots slant in the opposite direction to \ddots. All the commands are designed to change size appropriately in scripts, as well as in response to LaTeX size changing commands. The commands may also be used in plain TeX.
5 lines
293 B
Text
5 lines
293 B
Text
Redefines \ddots and \vdots, and defines \iddots. The dots
|
|
produced by \iddots slant in the opposite direction to \ddots.
|
|
All the commands are designed to change size appropriately in
|
|
scripts, as well as in response to LaTeX size changing
|
|
commands. The commands may also be used in plain TeX.
|