Syntax definition cgbow

Description: Extend the definition of a class to include the set of odd numbers which can be written as a sum of three primes.

	Ref	Expression
Assertion	cgbow	$$class\mathrm{GoldbachOddW}$$