Lets leave the existing symbols in place, but lets not impose any complicated set of policies to justify the names (and any policy more complicated than "tokens in macro names are delimited by underscores" is too complicated).Given that it is a trivial issue but we disagree, I will bow to the consensus opinion. If you can persuade somebody else to back up your proposal, I will make the change.
As with most of these things, someone else will complain sooner or later :-)