description: subtraction-invert[t] ket additive invert return t - x examples: subtraction-invert[0] (0|x> + 3|y> - 0.5|z>) 0|x> - 3|y> + 0.5|z> subtraction-invert[2] (0|x> + 3|y> - 0.5|z>) 2|x> - |y> + 2.5|z> see also: