Display in Latex mode
the relation symbol specified by
is one of the
Latex commands in the tables below.
The following tables contain the relation symbols
in Table 3.5 of
(except that \Join is not included and generates an error message).
\preceq, \models, and \bowtie
are in the list of
that MS Internet Explorer does not display properly.
Also note that
\preceq is in the list of
that Firefox does not display properly.