Documentation for tex-autonum
