Symbol: SEQ_LEQ