Symbol: mal_txde