PUSH-keys are keys on a terminal that can be programmed with user defined strings or control sequences. See also PUSH.
