cind - Mathbox for Thierry Arnoux

	Mathbox for Thierry Arnoux		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cind		Structured version Visualization version GIF version

Syntax Definition cind 29400

Description: Extend class notation with the indicator function generator.

**Assertion**
Ref	Expression
cind	class 𝟭

See definition df-ind 29401 for more information.

Colors of variables: wff setvar class