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

Next ⟩ cnegs

Metamath Proof Explorer

Ascii
Structured

Syntax definition cadds

Description: Declare the syntax for surreal addition.

		Ref	Expression
	Assertion	cadds	class +s