Description: Surreal negation is a function over surreals. (Contributed by Scott Fenton, 20-Aug-2024)