Description XML dependently interpret
the arrow symbol specified by Command where
Command is one of the
Latex commands in the tables below.
The following tables contain the arrow symbols
in Table 3.6 of
Lamport
.
Note that all the symbols that begin with long
(from \longleftarrow though \longmapsto)
and \leadsto are in the list of
symbols
that MS Internet Explorer does not display properly.
Also note that
\longmapsto is in the list of
symbols
that Firefox does not display properly.