Thought for the day: when we developed the “greater than” symbol, was it because of crocodiles/alligators?