Documentation for tex-mathabx-type1.