Symbol: seq_less