Addition of SaturatingSymbols