:: deftheorem defines == SURREALO:def 2 :
for x, y being Surreal holds
( x == y iff ( x <= y & y <= x ) );