Prev Next RelationSym

Relation Symbols
Syntax $latex Command $$

Description
XML dependently interpret 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