Definition. rsub_eq
a - b = a + (-b)