Database
REAL AND COMPLEX NUMBERS
Order sets
Infinity and the extended real number system (cont.)
cxad
Next ⟩
cxmu
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cxad
Description:
Extend class notation to include addition of extended reals.
Ref
Expression
Assertion
cxad
class
+
𝑒