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