I was recently surprised to notice an area where orthogonality and consistency suggest the existence of an arithmetic operator which (to my knowledge) no programming language offers.