Documentation for tex-mnsymbol
