Description: A surreal is equal to the negative of its negative. Theorem 4(ii) of Conway p. 17. (Contributed by Scott Fenton, 3-Feb-2025)