Ideas.Text.OpenMath.Dictionary.Nums1
nums1List
basedIntegerSymbol
rationalSymbol
infinitySymbol
eSymbol
iSymbol
piSymbol
gammaSymbol
naNSymbol