Symbol: seq_greater