[TxMt] [LaTeX] label completion