Ideas.Text.OpenMath.Dictionary.Arith1
arith1List
lcmSymbol
gcdSymbol
plusSymbol
unaryMinusSymbol
minusSymbol
timesSymbol
divideSymbol
powerSymbol
absSymbol
rootSymbol
sumSymbol
productSymbol