Documentation for tex-autonum.