Symbol: not_greater