Database
REAL AND COMPLEX NUMBERS
Integer sets
Decimal representation of numbers
c2
Next ⟩
c3
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
c2
Description:
Extend class notation to include the number 2.
Ref
Expression
Assertion
c2
$${class}2$$