[TxMt] A LaTeX Documented Source (.dtx) language grammar