Symbol: SEQ_EQ