Syntax definition cina

Description: The class of strong inaccessibles.

	Ref	Expression
Assertion	cina	$$class\mathrm{Inacc}$$