Description
Display in Latex mode
the binary operator specified by
Command
where
Command
is one of the
Latex commands in the tables below.
Table
The following tables contain the binary operators
in Table 3.4
Lamport
( except for
\lhd, \rhd, \unlhd, and \unrhd
which are not supported and generate error messages ).
Note that
\triangleleft and \triangleright
are in the list of
symbols
that MS Internet Explorer does not display properly.