Proposal to expand set of operator words

Background:

(1) A basic principle of operator words in Fortress, as far as we are
able to support it, has been that if you know the LaTeX name for
an operator symbol, then if you leave off the backslash and write
it using uppercase letters, then that is a name for that symbol in
Fortress and "ASCII conversion" will replace that name with the
character itself.

(2) The AMS has been working with other scientific and mathematical
publishing societies and corporations to produce a comprehensive set
of freely available fonts that will cover all mathematical operatiors in
Unicode version 5.  They also plan to provide LaTeX support for these
fonts, and as part of that process will provide a LaTeX macro to name
each operator symbol for use in "math mode".  See http://www.stixfonts.org .

(3) Our plan for the last two years has been that when the AMS eventually
releases its STIX fonts (later this year, we hope), we will adopt their names
for the Unicode mathematical operators in accordance with principle (1).

(4) At present, operator words in Fortress are words that would otherwise
be regarded as identifiers except that they are distinguished by consisting
entirely of uppercase letters and underscores, and containing two distinct
letters, and neither beginning nor ending with an underscore.

(5) The reason for excluding words ending in underscore from the set of
operator words was that such words are needed as names of SI unit symbols,
for example MW_ for megawatts.  (Note that the trailing underscore indicates
that the identifier MW_ is to be set in a roman typeface (rather than italics),
which is correct style for dimensional units.)  The related prohibition against
beginning an operator word with an underscore was introduced primarily for
symmetry.

Problem:

Some of the names chosen by the STIX fonts effort are identical except
for case distinctions.  For example, \sqcap and \Sqcap are distinct macro
names for distinct symbols.  Likewise, \dashv and \dashV and \Dashv and
\DashV represent four distinct symbols.

The table that defines these names may be seen at http://www.ams.org/STIX ;
the latest version of the table is http://www.ams.org/STIX/bnb/stix-tbl.ascii-2006-10-20 .

Proposal:

Modify principle (4) so that operator words may begin (but not end)
with an underscore.

Modify principle (1) to specify that a LaTeX name is converted to an
operator word by omitting the backslash, changing lowercase letters
to uppercase, and preceding letters that are already uppercase by
an underscore.  Thus we would have the following transformations:

LaTeX    Fortress

\sqcap   SQCAP
\Sqcap   _SQCAP
\dashv   DASHV
\dashV   DASH_V
\Dashv   _DASHV
\DashV   _DASH_V

This would allow us to use (nearly) all the names specified by the STIX  fonts
consortium in a systematic manner.

--Guy