Documentation for tex-autonum.
