Description: Subtraction from both sides of surreal less-than. (Contributed by Scott Fenton, 4-Feb-2025)