[TxMt] LaTeX-list of labels