There is no IsKeyUp, because this can easily be generated by inverting the result of IsKeyDown:
not IsKeyDown (x)
