Syntax definition csquarenn

Description: Extend class notation to include the set of square positive integers.

	Ref	Expression
Assertion	csquarenn	$$class{◻}_{\mathbb{N}}$$