Symbols for number operations