We keep plus() = plus_right() and minus() = minus_right() for backwards compatibility, and because the right versions are the most widely used.
plus()
plus_right()
minus()
minus_right()