%% Copyright � 1995-98 by the IBM Corporation. All Rights Reserved.
%%
\section{Symbols Supported by techexplorer}
\windowTitle{Symbols}

The \TeX{} and \LaTeX{} symbols available
will vary by the
math symbol font set used.
Unavailable symbols are displayed in red.
\def\SymbolDisplay#1#2{\quad$#2$\quad#1}
\def\gtitem{\item[\buttonbox{{\color{black}\tt >}}]}
\bigskip
\begin{dirlist}
\labelLink{saturn:greeklowercase}{\gtitem Greek lowercase}&
\labelLink{saturn:greekuppercase}{\gtitem Greek uppercase}&
\labelLink{saturn:arrowsymbols}{\gtitem Arrow symbols}&
\labelLink{saturn:binaryoperationsymbols}{\gtitem Binary Operation symbols}&
\labelLink{saturn:relationsymbols}{\gtitem Relation symbols}&
\labelLink{saturn:miscellaneoussymbols}{\gtitem Miscellaneous symbols}&
\labelLink{saturn:variablesizedsymbols}{\gtitem Variable-sized symbols}&
\labelLink{saturn:amsgreekhebrew}{\gtitem AMS Greek and Hebrew}
\end{dirlist}

\bigskip

\medskip\hrule

\subsection{\colorbox{lightgray}{Greek lowercase}}\label{saturn:greeklowercase}

\begin{dirlist}[lv]
\SymbolDisplay{\verb|\alpha|}{\alpha}&
\SymbolDisplay{\verb|\beta|}{\beta}&
\SymbolDisplay{\verb|\gamma|}{\gamma}&
\SymbolDisplay{\verb|\delta|}{\delta}&
\SymbolDisplay{\verb|\epsilon|}{\epsilon}&
\SymbolDisplay{\verb|\varepsilon|}{\varepsilon}&
\SymbolDisplay{\verb|\zeta|}{\zeta}&
\SymbolDisplay{\verb|\eta|}{\eta}&
\SymbolDisplay{\verb|\theta|}{\theta}&
\SymbolDisplay{\verb|\vartheta|}{\vartheta}&
\SymbolDisplay{\verb|\iota|}{\iota}&
\SymbolDisplay{\verb|\kappa|}{\kappa}&
\SymbolDisplay{\verb|\lambda|}{\lambda}&
\SymbolDisplay{\verb|\mu|}{\mu}&
\SymbolDisplay{\verb|\nu|}{\nu}&
\SymbolDisplay{\verb|\xi|}{\xi}&
\SymbolDisplay{\verb|\pi|}{\pi}&
\SymbolDisplay{\verb|\varpi|}{\varpi}&
\SymbolDisplay{\verb|\rho|}{\rho}&
\SymbolDisplay{\verb|\varrho|}{\varrho}&
\SymbolDisplay{\verb|\sigma|}{\sigma}&
\SymbolDisplay{\verb|\varsigma|}{\varsigma}&
\SymbolDisplay{\verb|\tau|}{\tau}&
\SymbolDisplay{\verb|\upsilon|}{\upsilon}&
\SymbolDisplay{\verb|\phi|}{\phi}&
\SymbolDisplay{\verb|\varphi|}{\varphi}&
\SymbolDisplay{\verb|\chi|}{\chi}&
\SymbolDisplay{\verb|\psi|}{\psi}&
\SymbolDisplay{\verb|\omega|}{\omega}&
\end{dirlist}

\medskip\hrule

\subsection{\colorbox{lightgray}{Greek uppercase}}\label{saturn:greekuppercase}

\begin{dirlist}[lv]
\SymbolDisplay{\verb|\Gamma|}{\Gamma}&
\SymbolDisplay{\verb|\Delta|}{\Delta}&
\SymbolDisplay{\verb|\Theta|}{\Theta}&
\SymbolDisplay{\verb|\Lambda|}{\Lambda}&
\SymbolDisplay{\verb|\Xi|}{\Xi}&
\SymbolDisplay{\verb|\Pi|}{\Pi}&
\SymbolDisplay{\verb|\Sigma|}{\Sigma}&
\SymbolDisplay{\verb|\Upsilon|}{\Upsilon}&
\SymbolDisplay{\verb|\Phi|}{\Phi}&
\SymbolDisplay{\verb|\Psi|}{\Psi}&
\SymbolDisplay{\verb|\Omega|}{\Omega}
\end{dirlist}

\medskip\hrule

\subsection{\colorbox{lightgray}{Arrow symbols}}\label{saturn:arrowsymbols}

\begin{dirlist}[lv]
\SymbolDisplay{\verb|\leftarrow|}{\leftarrow} &
\SymbolDisplay{\verb|\Leftarrow|}{\Leftarrow} &
\SymbolDisplay{\verb|\rightarrow|}{\rightarrow} &
\SymbolDisplay{\verb|\Rightarrow|}{\Rightarrow} &
\SymbolDisplay{\verb|\leftrightarrow|}{\leftrightarrow} &
\SymbolDisplay{\verb|\Leftrightarrow|}{\Leftrightarrow} &
\SymbolDisplay{\verb|\mapsto|}{\mapsto} &
\SymbolDisplay{\verb|\hookleftarrow|}{\hookleftarrow} &
\SymbolDisplay{\verb|\leftharpoonup|}{\leftharpoonup} &
\SymbolDisplay{\verb|\leftharpoondown|}{\leftharpoondown} &
\SymbolDisplay{\verb|\rightleftharpoons|}{\rightleftharpoons} &
\SymbolDisplay{\verb|\longleftarrow|}{\longleftarrow} &
\SymbolDisplay{\verb|\Longleftarrow|}{\Longleftarrow} &
\SymbolDisplay{\verb|\longrightarrow|}{\longrightarrow} &
\SymbolDisplay{\verb|\Longrightarrow|}{\Longrightarrow} &
\SymbolDisplay{\verb|\longleftrightarrow|}{\longleftrightarrow} &
\SymbolDisplay{\verb|\Longleftrightarrow |}{\Longleftrightarrow} &
\SymbolDisplay{\verb|\longmapsto|}{\longmapsto} &
\SymbolDisplay{\verb|\hookrightarrow|}{\hookrightarrow} &
\SymbolDisplay{\verb|\rightharpoonup|}{\rightharpoonup} &
\SymbolDisplay{\verb|\rightharpoondown|}{\rightharpoondown} &
\SymbolDisplay{\verb|\leadsto|}{\leadsto} &
\SymbolDisplay{\verb|\uparrow|}{\uparrow} &
\SymbolDisplay{\verb|\Uparrow|}{\Uparrow} &
\SymbolDisplay{\verb|\downarrow|}{\downarrow} &
\SymbolDisplay{\verb|\Downarrow|}{\Downarrow} &
\SymbolDisplay{\verb|\updownarrow|}{\updownarrow} &
\SymbolDisplay{\verb|\Updownarrow|}{\Updownarrow} &
\SymbolDisplay{\verb|\nearrow|}{\nearrow} &
\SymbolDisplay{\verb|\searrow|}{\searrow} &
\SymbolDisplay{\verb|\swarrow|}{\swarrow} &
\SymbolDisplay{\verb|\nwarrow|}{\nwarrow}
\end{dirlist}

\medskip\hrule

\subsection{\colorbox{lightgray}{Binary Operation symbols}}\label{saturn:binaryoperationsymbols}

\begin{dirlist}[lv]
\SymbolDisplay{\verb|\pm|}{\pm} &
\SymbolDisplay{\verb|\mp|}{\mp} &
\SymbolDisplay{\verb|\times|}{\times} &
\SymbolDisplay{\verb|\div|}{\div} &
\SymbolDisplay{\verb|\ast|}{\ast} &
\SymbolDisplay{\verb|\star|}{\star} &
\SymbolDisplay{\verb|\circ|}{\circ} &
\SymbolDisplay{\verb|\bullet|}{\bullet} &
\SymbolDisplay{\verb|\cdot|}{\cdot} &
\SymbolDisplay{\verb|\cap|}{\cap} &
\SymbolDisplay{\verb|\cup|}{\cup} &
\SymbolDisplay{\verb|\uplus|}{\uplus} &
\SymbolDisplay{\verb|\sqcap|}{\sqcap} &
\SymbolDisplay{\verb|\sqcup|}{\sqcup} &
\SymbolDisplay{\verb|\vee|}{\vee} &
\SymbolDisplay{\verb|\wedge|}{\wedge} &
\SymbolDisplay{\verb|\setminus|}{\setminus} &
\SymbolDisplay{\verb|\wr|}{\wr} &
\SymbolDisplay{\verb|\diamond|}{\diamond} &
\SymbolDisplay{\verb|\bigtriangleup|}{\bigtriangleup} &
\SymbolDisplay{\verb|\bigtriangledown|}{\bigtriangledown} &
\SymbolDisplay{\verb|\triangleleft|}{\triangleleft} &
\SymbolDisplay{\verb|\triangleright|}{\triangleright} &
\SymbolDisplay{\verb|\lhd|}{\lhd} &
\SymbolDisplay{\verb|\rhd|}{\rhd} &
\SymbolDisplay{\verb|\unlhd|}{\unlhd} &
\SymbolDisplay{\verb|\unrhd|}{\unrhd} &
\SymbolDisplay{\verb|\oplus|}{\oplus} &
\SymbolDisplay{\verb|\ominus|}{\ominus} &
\SymbolDisplay{\verb|\otimes|}{\otimes} &
\SymbolDisplay{\verb|\oslash|}{\oslash} &
\SymbolDisplay{\verb|\odot|}{\odot} &
\SymbolDisplay{\verb|\bigcirc|}{\bigcirc} &
\SymbolDisplay{\verb|\dagger|}{\dagger} &
\SymbolDisplay{\verb|\ddagger|}{\ddagger} &
\SymbolDisplay{\verb|\amalg|}{\amalg}
\end{dirlist}

\medskip\hrule

\subsection{\colorbox{lightgray}{Relation symbols}}\label{saturn:relationsymbols}

\begin{dirlist}[lv]
\SymbolDisplay{\verb|\leq|}{\leq} &
\SymbolDisplay{\verb|\prec|}{\prec} &
\SymbolDisplay{\verb|\preceq|}{\preceq} &
\SymbolDisplay{\verb|\ll|}{\ll} &
\SymbolDisplay{\verb|\subset|}{\subset} &
\SymbolDisplay{\verb|\subseteq|}{\subseteq} &
\SymbolDisplay{\verb|\sqsubset|}{\sqsubset} &
\SymbolDisplay{\verb|\sqsubseteq|}{\sqsubseteq} &
\SymbolDisplay{\verb|\in|}{\in} &
\SymbolDisplay{\verb|\vdash|}{\vdash} &
\SymbolDisplay{\verb|\geq|}{\geq} &
\SymbolDisplay{\verb|\succ|}{\succ} &
\SymbolDisplay{\verb|\succeq|}{\succeq} &
\SymbolDisplay{\verb|\gg|}{\gg} &
\SymbolDisplay{\verb|\supset|}{\supset} &
\SymbolDisplay{\verb|\supseteq|}{\supseteq} &
\SymbolDisplay{\verb|\sqsupset|}{\sqsupset} &
\SymbolDisplay{\verb|\sqsupseteq|}{\sqsupseteq} &
\SymbolDisplay{\verb|\ni|}{\ni} &
\SymbolDisplay{\verb|\dashv|}{\dashv} &
\SymbolDisplay{\verb|\equiv|}{\equiv} &
\SymbolDisplay{\verb|\sim|}{\sim} &
\SymbolDisplay{\verb|\simeq|}{\simeq} &
\SymbolDisplay{\verb|\asymp|}{\asymp} &
\SymbolDisplay{\verb|\approx|}{\approx} &
\SymbolDisplay{\verb|\cong|}{\cong} &
\SymbolDisplay{\verb|\ne|}{\ne} &
\SymbolDisplay{\verb|\neq|}{\neq} &
\SymbolDisplay{\verb|\doteq|}{\doteq} &
\SymbolDisplay{\verb|\propto|}{\propto} &
\SymbolDisplay{\verb|\models|}{\models} &
\SymbolDisplay{\verb|\perp|}{\perp} &
\SymbolDisplay{\verb|\mid|}{\mid} &
\SymbolDisplay{\verb|\parallel|}{\parallel} &
\SymbolDisplay{\verb|\bowtie|}{\bowtie} &
\SymbolDisplay{\verb|\Join|}{\Join} &
\SymbolDisplay{\verb|\smile|}{\smile} &
\SymbolDisplay{\verb|\frown|}{\frown} &
\SymbolDisplay{\verb|\land|}{\land} &
\SymbolDisplay{\verb|\lor|}{\lor}
\end{dirlist}

\medskip\hrule

\subsection{\colorbox{lightgray}{Miscellaneous symbols}}\label{saturn:miscellaneoussymbols}

\begin{dirlist}[lv]
\SymbolDisplay{\verb|\"A|}{\"A} &
\SymbolDisplay{\verb|\"E|}{\"E} &
\SymbolDisplay{\verb|\"I|}{\"I} &
\SymbolDisplay{\verb|\"O|}{\"O} &
\SymbolDisplay{\verb|\"U|}{\"U} &
\SymbolDisplay{\verb|\"a|}{\"a} &
\SymbolDisplay{\verb|\"e|}{\"e} &
\SymbolDisplay{\verb|\"i|}{\"i} &
\SymbolDisplay{\verb|\"o|}{\"o} &
\SymbolDisplay{\verb|\"u|}{\"u} &
\SymbolDisplay{\verb|\AA|}{\AA} &
\SymbolDisplay{\verb|\AE|}{\AE} &
\SymbolDisplay{\verb|\Box|}{\Box} &
\SymbolDisplay{\verb|\Diamond|}{\Diamond} &
\SymbolDisplay{\verb|\Im|}{\Im} &
\SymbolDisplay{\verb|\OE|}{\OE} &
\SymbolDisplay{\verb|\O|}{\O} &
\SymbolDisplay{\verb|\P|}{\P} &
\SymbolDisplay{\verb|\Re|}{\Re} &
\SymbolDisplay{\verb|\S|}{\S} &
\SymbolDisplay{\verb|\THORN|}{\THORN} &
\SymbolDisplay{\verb|\Thorn|}{\Thorn} &
\SymbolDisplay{\verb|\Vert|}{\Vert} &
\SymbolDisplay{\verb|\aa|}{\aa} &
\SymbolDisplay{\verb|\ae|}{\ae} &
\SymbolDisplay{\verb|\aleph|}{\aleph} &
\SymbolDisplay{\verb|\angle|}{\angle} &
\SymbolDisplay{\verb|\backslash|}{\backslash} &
\SymbolDisplay{\verb|\bot|}{\bot} &
\SymbolDisplay{\verb|\cents|}{\cents} &
\SymbolDisplay{\verb|\clubsuit|}{\clubsuit} &
\SymbolDisplay{\verb|\copyright|}{\copyright} &
\SymbolDisplay{\verb|\dag|}{\dag} &
\SymbolDisplay{\verb|\ddag|}{\ddag} &
\SymbolDisplay{\verb|\diamondsuit|}{\diamondsuit} &
\SymbolDisplay{\verb|\ell|}{\ell} &
\SymbolDisplay{\verb|\emptyset|}{\emptyset} &
\SymbolDisplay{\verb|\exists|}{\exists} &
\SymbolDisplay{\verb|\flat|}{\flat} &
\SymbolDisplay{\verb|\forall|}{\forall} &
\SymbolDisplay{\verb|\hbar|}{\hbar} &
\SymbolDisplay{\verb|\heartsuit|}{\heartsuit} &
\SymbolDisplay{\verb|\iff|}{\iff} &
\SymbolDisplay{\verb|\imath|}{\imath} &
\SymbolDisplay{\verb|\impliedby|}{\impliedby} &
\SymbolDisplay{\verb|\implies|}{\implies} &
\SymbolDisplay{\verb|\infty|}{\infty} &
\SymbolDisplay{\verb|\jmath|}{\jmath} &
\SymbolDisplay{\verb|\lVert|}{\lVert} &
\SymbolDisplay{\verb|\langle|}{\langle} &
\SymbolDisplay{\verb|\lceil|}{\lceil} &
\SymbolDisplay{\verb|\ldots|}{\ldots} &
\SymbolDisplay{\verb|\lfloor|}{\lfloor} &
\SymbolDisplay{\verb|\lvert|}{\lvert} &
\SymbolDisplay{\verb|\mho|}{\mho} &
\SymbolDisplay{\verb|\nabla|}{\nabla} &
\SymbolDisplay{\verb|\natural|}{\natural} &
\SymbolDisplay{\verb|\neg|}{\neg} &
\SymbolDisplay{\verb|\oe|}{\oe} &
\SymbolDisplay{\verb|\o|}{\o} &
\SymbolDisplay{\verb|\partial|}{\partial} &
\SymbolDisplay{\verb|\pounds|}{\pounds} &
\SymbolDisplay{\verb|\prime|}{\prime} &
\SymbolDisplay{\verb|\rVert|}{\rVert} &
\SymbolDisplay{\verb|\rangle|}{\rangle} &
\SymbolDisplay{\verb|\rceil|}{\rceil} &
\SymbolDisplay{\verb|\registered|}{\registered} &
\SymbolDisplay{\verb|\rfloor|}{\rfloor} &
\SymbolDisplay{\verb|\rvert|}{\rvert} &
\SymbolDisplay{\verb|\sharp|}{\sharp} &
\SymbolDisplay{\verb|\spadesuit|}{\spadesuit} &
\SymbolDisplay{\verb|\ss |}{\ss} &
\SymbolDisplay{\verb|\surd|}{\surd} &
\SymbolDisplay{\verb|\thorn|}{\thorn} &
\SymbolDisplay{\verb|\top|}{\top} &
\SymbolDisplay{\verb|\trademark|}{\trademark} &
\SymbolDisplay{\verb|\triangle|}{\triangle} &
\SymbolDisplay{\verb|\vert|}{\vert} &
\SymbolDisplay{\verb|\wp|}{\wp}
\end{dirlist}

\medskip\hrule

\subsection{\colorbox{lightgray}{Variable-sized symbols}}\label{saturn:variablesizedsymbols}

\begin{dirlist}[lv]
\SymbolDisplay{\verb|\sum|}{\sum} &
\SymbolDisplay{\verb|\prod|}{\prod} &
\SymbolDisplay{\verb|\coprod|}{\coprod} &
\SymbolDisplay{\verb|\int|}{\int} &
\SymbolDisplay{\verb|\oint|}{\oint} &
\SymbolDisplay{\verb|\bigcap|}{\bigcap} &
\SymbolDisplay{\verb|\bigcup|}{\bigcup} &
\SymbolDisplay{\verb|\bigsqcup|}{\bigsqcup} &
\SymbolDisplay{\verb|\bigvee|}{\bigvee} &
\SymbolDisplay{\verb|\bigwedge|}{\bigwedge} &
\SymbolDisplay{\verb|\bigodot|}{\bigodot} &
\SymbolDisplay{\verb|\bigotimes|}{\bigotimes} &
\SymbolDisplay{\verb|\bigoplus|}{\bigoplus} &
\SymbolDisplay{\verb|\biguplus|}{\biguplus}
\end{dirlist}

\medskip\hrule

\subsection{\colorbox{lightgray}{AMS Greek and Hebrew}}\label{saturn:amsgreekhebrew}

\begin{dirlist}[lv]
\SymbolDisplay{\verb|\digamma|}{\digamma} &
\SymbolDisplay{\verb|\varkappa|}{\varkappa} &
\SymbolDisplay{\verb|\beth|}{\beth} &
\SymbolDisplay{\verb|\daleth|}{\daleth} &
\SymbolDisplay{\verb|\gimel|}{\gimel} &
\end{dirlist}
