[TxMt] Custom highlighting in latex