Documentation for tex-magicnum.