Syntax definition cbrsiga

Description: The Borel Algebra on real numbers, usually a gothic B

	Ref	Expression
Assertion	cbrsiga	class 𝔅ℝ