[TxMt] Latex preferences: symbols