Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Real and complex functions
Indicator Functions
cind
Next ⟩
df-ind
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cind
Description:
Extend class notation with the indicator function generator.
Ref
Expression
Assertion
cind
class _Ind