Prev Next RelationSym

Latex Relation Symbols

Syntax
$latex Command $$

Description
Display in Latex mode the relation symbol specified by Command where Command is one of the Latex commands in the tables below. The following tables contain the relation symbols in Table 3.5 of Lamport (except that \Join is not included and generates an error message).

Note that \preceq, \models, and \bowtie are in the list of symbols that MS Internet Explorer does not display properly. Also note that \preceq is in the list of symbols that Firefox does not display properly.

Relation Symbols
Command Output
\leq @(@ \leq @)@
\prec @(@ \prec @)@
\preceq @(@ \preceq @)@
\ll @(@ \ll @)@
\subset @(@ \subset @)@
\subseteq @(@ \subseteq @)@
\sqsubset @(@ \sqsubset @)@
\sqsubseteq @(@ \sqsubseteq @)@
\in @(@ \in @)@
\vdash @(@ \vdash @)@
Command Output
\geq @(@ \geq @)@
\succ @(@ \succ @)@
\succeq @(@ \succeq @)@
\gg @(@ \gg @)@
\supset @(@ \supset @)@
\supseteq @(@ \supseteq @)@
\sqsupset @(@ \sqsupset @)@
\sqsupseteq @(@ \sqsupseteq @)@
\ni @(@ \ni @)@
\dashv @(@ \dashv @)@
Command Output
\equiv @(@ \equiv @)@
\sim @(@ \sim @)@
\simeq @(@ \simeq @)@
\asymp @(@ \asymp @)@
\approx @(@ \approx @)@
\cong @(@ \cong @)@
\neq @(@ \neq @)@
\doteq @(@ \doteq @)@
\propto @(@ \propto @)@
Command Output
\models @(@ \models @)@
\perp @(@ \perp @)@
\mid @(@ \mid @)@
\parallel @(@ \parallel @)@
\bowtie @(@ \bowtie @)@
\smile @(@ \smile @)@
\frown @(@ \frown @)@

Input File: latex/relationsym.omh