tex2typ
