[TxMt] smart Latex typesetting