Re: What're the proper names for the backspace and delete keys in files.texi?

[Richard M. Stallman]

    @key{DEL} is a _logical_ key, that key which happens to generate ASCII
    DEL (0x7f) when you press it.  So the sentence "Emacs binds @key{DEL} to
    the command @code{delete-backward-char} by default." would be entirely
    appropriate.

That's true, more or less--except that under X all keys are "logical"
in this sense.

Thus, `DEL' stands for ASCII code DEL.
'DELETE' stands for the symbol DELETE.