[TxMt] Go to symbol in JavaScript