<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">%% 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 &gt;}}]}
\bigskip
\begin{dirlist}
\labelLink{saturn:greeklowercase}{\gtitem Greek lowercase}&amp;
\labelLink{saturn:greekuppercase}{\gtitem Greek uppercase}&amp;
\labelLink{saturn:arrowsymbols}{\gtitem Arrow symbols}&amp;
\labelLink{saturn:binaryoperationsymbols}{\gtitem Binary Operation symbols}&amp;
\labelLink{saturn:relationsymbols}{\gtitem Relation symbols}&amp;
\labelLink{saturn:miscellaneoussymbols}{\gtitem Miscellaneous symbols}&amp;
\labelLink{saturn:variablesizedsymbols}{\gtitem Variable-sized symbols}&amp;
\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}&amp;
\SymbolDisplay{\verb|\beta|}{\beta}&amp;
\SymbolDisplay{\verb|\gamma|}{\gamma}&amp;
\SymbolDisplay{\verb|\delta|}{\delta}&amp;
\SymbolDisplay{\verb|\epsilon|}{\epsilon}&amp;
\SymbolDisplay{\verb|\varepsilon|}{\varepsilon}&amp;
\SymbolDisplay{\verb|\zeta|}{\zeta}&amp;
\SymbolDisplay{\verb|\eta|}{\eta}&amp;
\SymbolDisplay{\verb|\theta|}{\theta}&amp;
\SymbolDisplay{\verb|\vartheta|}{\vartheta}&amp;
\SymbolDisplay{\verb|\iota|}{\iota}&amp;
\SymbolDisplay{\verb|\kappa|}{\kappa}&amp;
\SymbolDisplay{\verb|\lambda|}{\lambda}&amp;
\SymbolDisplay{\verb|\mu|}{\mu}&amp;
\SymbolDisplay{\verb|\nu|}{\nu}&amp;
\SymbolDisplay{\verb|\xi|}{\xi}&amp;
\SymbolDisplay{\verb|\pi|}{\pi}&amp;
\SymbolDisplay{\verb|\varpi|}{\varpi}&amp;
\SymbolDisplay{\verb|\rho|}{\rho}&amp;
\SymbolDisplay{\verb|\varrho|}{\varrho}&amp;
\SymbolDisplay{\verb|\sigma|}{\sigma}&amp;
\SymbolDisplay{\verb|\varsigma|}{\varsigma}&amp;
\SymbolDisplay{\verb|\tau|}{\tau}&amp;
\SymbolDisplay{\verb|\upsilon|}{\upsilon}&amp;
\SymbolDisplay{\verb|\phi|}{\phi}&amp;
\SymbolDisplay{\verb|\varphi|}{\varphi}&amp;
\SymbolDisplay{\verb|\chi|}{\chi}&amp;
\SymbolDisplay{\verb|\psi|}{\psi}&amp;
\SymbolDisplay{\verb|\omega|}{\omega}&amp;
\end{dirlist}

\medskip\hrule

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

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

\medskip\hrule

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

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

\medskip\hrule

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

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

\medskip\hrule

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

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

\medskip\hrule

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

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

\medskip\hrule

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

\begin{dirlist}[lv]
\SymbolDisplay{\verb|\sum|}{\sum} &amp;
\SymbolDisplay{\verb|\prod|}{\prod} &amp;
\SymbolDisplay{\verb|\coprod|}{\coprod} &amp;
\SymbolDisplay{\verb|\int|}{\int} &amp;
\SymbolDisplay{\verb|\oint|}{\oint} &amp;
\SymbolDisplay{\verb|\bigcap|}{\bigcap} &amp;
\SymbolDisplay{\verb|\bigcup|}{\bigcup} &amp;
\SymbolDisplay{\verb|\bigsqcup|}{\bigsqcup} &amp;
\SymbolDisplay{\verb|\bigvee|}{\bigvee} &amp;
\SymbolDisplay{\verb|\bigwedge|}{\bigwedge} &amp;
\SymbolDisplay{\verb|\bigodot|}{\bigodot} &amp;
\SymbolDisplay{\verb|\bigotimes|}{\bigotimes} &amp;
\SymbolDisplay{\verb|\bigoplus|}{\bigoplus} &amp;
\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} &amp;
\SymbolDisplay{\verb|\varkappa|}{\varkappa} &amp;
\SymbolDisplay{\verb|\beth|}{\beth} &amp;
\SymbolDisplay{\verb|\daleth|}{\daleth} &amp;
\SymbolDisplay{\verb|\gimel|}{\gimel} &amp;
\end{dirlist}
</pre></body></html>