User keys are truncated to the number of significant characters; abbreviations are not allowed. Before comparison with the list of defined keys, a potential key is converted to uppercase. If it is recognized, it is printed on the lis- ting in upper case.
Note: Although you can define a key to be the same as a system key, this key will not be recognized, as the list of system keys is checked first.