Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Surreal numbers - addition, negation, and subtraction
cnegs

Next ⟩ csubs

Metamath Proof Explorer

Unicode
Structured

Syntax definition cnegs

Description: Declare the syntax for surreal negation.

		Ref	Expression
	Assertion	cnegs	class -us