Symbol: SEQ_GEQ