mms13_TexParser