This tag should be used for symbols introduced by the bbold LaTeX package.