Database
SURREAL NUMBERS
Surreal arithmetic
Absolute value
cabss
Next ⟩
df-abss
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cabss
Description:
Declare the syntax for surreal absolute value.
Ref
Expression
Assertion
cabss
class
abs
s