Symbol: TRANS_AND