Database
SURREAL NUMBERS
Conway cut representation
Cuts and Options
cright
Next ⟩
df-made
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cright
Description:
Declare the symbol for the right option function.
Ref
Expression
Assertion
cright
Could not format assertion : No typesetting found for class _Right with typecode class