I think Tex is ...

· · ·