Syntax Definition cpw 3559

Description: Extend class notation to include power class. (The tilde in the Metamath token is meant to suggest the calligraphic font of the P.)

Hypothesis

Ref	Expression
cA	class 𝐴

Assertion

Ref	Expression
cpw	class 𝒫 𝐴

See definition df-pw 3561 for more information.