3 Relation Symbols

≤	\leq	≥	\geq	≡	\equiv		\models
≺	\prec	≻	\succ	~	\sim	⊥	\perp
≼	\preceq	≽	\succeq	≃	\simeq	∣	\mid
≪	\ll	≫	\gg	≍	\asymp	∥	\parallel
⊂	\subset	⊃	\supset	≈	\approx		\bowtie
⊆	\subseteq	⊇	\supseteq		\cong	⋊⋉	\Joinb
⊏	\sqsubsetb	⊐	\sqsupsetb	≠	\neq	⌣	\smile
⊑	\sqsubseteq	⊒	\sqsupseteq		\doteq	⌢	\frown
∈	\in	∋	\ni	∝	\propto	=	=
⊢	\vdash	⊣	\dashv	<	<	>	>
:	:

^b Not predefined in a format based on basefont.tex. Use one of the style options
oldlfont, newlfont, amsfonts or amssymb.