Syntax definition cwina

Description: The class of weak inaccessibles.

	Ref	Expression
Assertion	cwina	$$class{\mathrm{Inacc}}_{𝑤}$$