Ideas.Text.OpenMath.Dictionary.Logic1
logic1List
equivalentSymbol
notSymbol
andSymbol
xorSymbol
orSymbol
impliesSymbol
trueSymbol
falseSymbol