compound ket fn: minus

minus:
    description:
        minus[n] ket
        subtract n from the value in the ket, leaving the coefficient unchanged

    examples:
        minus[2] |3.1415>
            |1.1415>
    see also:
        plus, times-by, divide-by, int-divide-by, mod, round