description: decrement ket decrement the coefficient by one return x - 1 examples: decrement |x> 0|x> decrement^10 0|x> - 10|x> see also: increment