Metamath Proof Explorer


Syntax definition cnegs

Description: Declare the syntax for surreal negation.

Ref Expression
Assertion cnegs Could not format assertion : No typesetting found for class -us with typecode class