Change names for the operators >=, <= and %.