Ideas.Text.OpenMath.Dictionary.Quant1
quant1List
forallSymbol
existsSymbol