Syntax definition cbrsiga

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

	Ref	Expression
Assertion	cbrsiga	$$class{𝔅}_{ℝ}$$