Description: Surreal less than or equal in terms of less than. (Contributed by Scott Fenton, 8-Dec-2021)