There are pre-defined constants corresponding to non-typable keys on the keyboard (see key-names) When a Lisp function calls for a virtual key argument  one of the pre-defined constants is suitable as an argument value