Commands to produce dots in math that respect font size
Description
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.
