Prev

Next

Index-> contents reference index search external

Up-> omhelp latex symbol RelationSym

RelationSym

Latex Relation Symbols
Syntax
Description
     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: omh/latex/relationsym.omh