"Fossies" - the Fresh Open Source Software Archive

Member "hevea-2.35/examples/sym.tex" (16 Jan 2021, 35813 Bytes) of package /linux/www/hevea-2.35.tar.gz:


As a special service "Fossies" has tried to format the requested source page into HTML format using (guessed) TeX and LaTeX source code syntax highlighting (style: standard) with prefixed line numbers. Alternatively you can here view or download the uninterpreted source code file.

    1 \documentclass{article}
    2 \@def@charset{UTF-8}
    3 \usepackage[auto]{mathjax}
    4 \usepackage{latexsym}
    5 \usepackage{textcomp}
    6 \usepackage{amssymb}
    7 \usepackage{amsmath}
    8 \usepackage{st}
    9 \title{Selected extracts from the ``Comprehensive \LaTeX{} symbol
   10 list''}
   11 \author{}
   12 \date{}
   13 
   14 \begin{document}\maketitle
   15 \section*{Introduction}
   16 This file consists in extracts of the
   17 \ahref{http://www.ctan.org/tex-archive/info/symbols/comprehensive/}
   18 {Comprehensive list of \LaTeX{} symbols}.
   19 Il also serves as a test of UTF-8 output encoding.
   20 
   21 \section{Body-text symbols}
   22 \begin{symtable}{\latexE{} Escapable ``Special'' Characters}
   23 \index{special characters=``special'' characters}
   24 \index{escapable characters}
   25 \label{special-escapable}
   26 \begin{tabular}{*6{ll@{\qqquad}}ll}
   27 \K\$   & \K\%   & \K\_$\,^*$  & \Kp\}   & \K\&   & \K\#   & \Kp\{   \\
   28 \end{tabular}
   29 
   30 \bigskip
   31 \begin{tablenote}[*]
   32   The \pkgname{underscore} package redefines ``\verb+_+'' to produce
   33   an underscore in text mode (i.e.,~it makes it unnecessary to escape
   34   the underscore character).
   35 \end{tablenote}
   36 \end{symtable}
   37 
   38 \begin{symtable}{Predefined \latexE{} Text-mode Commands}
   39 \index{space, visible}
   40 \index{inequalities}
   41 \index{tilde}
   42 \index{copyright}
   43 \idxboth{legal}{symbols}
   44 \label{text-predef}
   45 \begin{tabular}{lll@{\qqquad}lll}
   46 \V\textasciicircum      & \V\textless            \\
   47 \V\textasciitilde       & \V[\ltextordfeminine]\textordfeminine   \\
   48 \V\textasteriskcentered & \V[\ltextordmasculine]\textordmasculine \\
   49 \V\textbackslash        & \V\textparagraph$^*$   \\
   50 \V\textbar              & \V\textperiodcentered  \\
   51 \V\textbraceleft$^*$    & \V\textquestiondown    \\
   52 \V\textbraceright$^*$   & \V\textquotedblleft    \\
   53 \V\textbullet           & \V\textquotedblright   \\
   54 \V[\ltextcopyright]\textcopyright$^*$
   55                         & \V\textquoteleft       \\
   56 \V\textdagger$^*$       & \V\textquoteright      \\
   57 \V\textdaggerdbl$^*$    & \V[\ltextregistered]\textregistered     \\
   58 \V\textdollar$^*$       & \V\textsection$^*$     \\
   59 \V\textellipsis$^*$     & \V\textsterling$^*$    \\
   60 \V\textemdash           & \V[\ltexttrademark]\texttrademark       \\
   61 \V\textendash           & \V\textunderscore$^*$  \\
   62 \V\textexclamdown       & \V\textvisiblespace    \\
   63 \V\textgreater          \\
   64 \end{tabular}
   65 
   66 \bigskip
   67 \twosymbolmessage
   68 
   69 \bigskip
   70 \usetextmathmessage[*]
   71 
   72 \end{symtable}
   73 
   74 
   75 \begin{symtable}{\latexE{} Commands Defined to Work in Both Math and Text Mode}
   76 \index{dots (ellipses)} \index{ellipses (dots)}
   77 \index{copyright}
   78 \idxboth{legal}{symbols}
   79 \label{math-text}
   80 \begin{tabular}{*3{lll@{\qqquad}}lll}
   81 \V\$ & \V\_              & \V\ddag    & \Vp\{ \\
   82 \V\P & \V[\ltextcopyright]\copyright
   83                          & \V\dots    & \Vp\} \\
   84 \V\S & \V\dag            & \V\pounds          \\
   85 \end{tabular}
   86 
   87 \bigskip
   88 \twosymbolmessage
   89 \end{symtable}
   90 \begin{symtable}{Non-ASCII Letters (Excluding Accented Letters)}
   91 \index{letters>non-ASCII}\index{ASCII}
   92 \label{non-ascii}
   93 \begin{tabular}{*4{ll@{\hspace*{3em}}}ll}
   94 \K\aa      & \Ks\DH     & \K\L       & \K\o       & \K\ss      \\
   95 \K\AA      & \Ks\dh     & \K\l       & \K\O       & \K\SS      \\
   96 \K\AE      & \Ks\DJ     & \Ks\NG     & \K\OE      & \Ks\TH     \\
   97 \K\ae      & \Ks\dj     & \Ks\ng     & \K\oe      & \Ks\th     \\
   98 \end{tabular}
   99 
  100 \bigskip
  101 \begin{tablenote}[*]
  102   Not available in the OT1 \fntenc[OT1].  Use the \pkgname{fontenc}
  103   package to select an alternate \fntenc[T1], such as T1.
  104 \end{tablenote}
  105 \end{symtable}
  106 
  107 
  108 \begin{symtable}{Punctuation Marks Not Found in OT1}
  109 \index{punctuation}
  110 \label{punc-no-OT1}
  111 \begin{tabular}{*8l}
  112 \Kt\guillemotleft  & \Kt\guilsinglleft & \Kt\quotedblbase & \Kt\textquotedbl \\
  113 \Kt\guillemotright & \Kt\guilsinglright & \Kt\quotesinglbase \\
  114 \end{tabular}
  115 \bigskip
  116 \begin{tablenote}
  117   To get these symbols, use the \pkgname{fontenc} package to select an
  118   alternate \fntenc[T1], such as~T1.
  119 \end{tablenote}
  120 \end{symtable}
  121 \begin{symtable}{\TC\ Diacritics}
  122 \index{accents}
  123 \label{tc-accent-chars}
  124 \begin{tabular}{*3{ll}}
  125 \K\textacutedbl      & \K\textasciicaron    & \K\textasciimacron \\
  126 \K\textasciiacute    & \K\textasciidieresis & \K\textgravedbl    \\
  127 \K\textasciibreve    & \K\textasciigrave                         \\
  128 \end{tabular}
  129 
  130 \bigskip
  131 
  132 \begin{tablenote}
  133   The \TC\ package defines all of the above as ordinary characters,
  134   not as accents.
  135 \end{tablenote}
  136 \end{symtable}
  137 
  138 
  139 \begin{symtable}{\TC\ Currency Symbols}
  140 \idxboth{currency}{symbols}
  141 \idxboth{monetary}{symbols}
  142 \label{tc-currency}
  143 \begin{tabular}{*4{ll}}
  144 \K\textbaht          & \K\textdollar$^*$     & \K\textguarani  & \K\textwon \\
  145 \K\textcent          & \NK\textdollaroldstyle & \K\textlira     & \K\textyen \\
  146 \NK\textcentoldstyle  & \K\textdong           & \K\textnaira    \\
  147 \K\textcolonmonetary & \K\texteuro           & \K\textpeso     \\
  148 \K\textcurrency      & \K\textflorin         & \K\textsterling$^*$ \\
  149 \end{tabular}
  150 
  151 \bigskip
  152 \usetextmathmessage[*]
  153 
  154 \end{symtable}
  155 
  156 \begin{symtable}{\TC\ Legal Symbols}
  157 \index{copyright}
  158 \idxboth{legal}{symbols}
  159 \label{tc-legal}
  160 \begin{tabular}{*2{lll@{\qquad}}lll}
  161 \V\textcircledP & \V[\ltextcopyright]\textcopyright   & \V\textservicemark \\
  162 \NV\textcopyleft & \V[\ltextregistered]\textregistered & \V[\ltexttrademark]\texttrademark \\
  163 \end{tabular}
  164 
  165 \bigskip
  166 \twosymbolmessage
  167 \medskip
  168 \begin{tablenote}
  169   \hspace*{15pt}%
  170   See \url{http://www.tex.ac.uk/cgi-bin/texfaq2html?label=tradesyms}
  171   for solutions to common problems that occur when using these symbols
  172   (e.g.,~getting a~``\textcircled{r}'' when you expected to get
  173   a~``\textregistered'').
  174 \end{tablenote}
  175 \end{symtable}
  176 \begin{symtable}{Miscellaneous \TC\ Symbols}
  177 \idxboth{musical}{symbols}
  178 \index{tilde}
  179 \label{tc-misc}
  180 \begin{tabular}{lll@{\qquad}lll}
  181 \V\textasteriskcentered & \V[\ltextordfeminine]\textordfeminine   \\
  182 \V\textbardbl           & \V[\ltextordmasculine]\textordmasculine \\
  183 \V\textbigcircle        & \V\textparagraph$^*$                    \\
  184 \NV\textblank            & \V\textperiodcentered                   \\
  185 \V\textbrokenbar        & \V\textpertenthousand                   \\
  186 \V\textbullet           & \V\textperthousand                      \\
  187 \V\textdagger$^*$       & \V\textpilcrow                          \\
  188 \V\textdaggerdbl$^*$    & \V\textquotesingle                      \\
  189 \V\textdblhyphen        & \NV\textquotestraightbase                \\
  190 \V\textdblhyphenchar    & \NV\textquotestraightdblbase             \\
  191 \V\textdiscount         & \V\textrecipe                           \\
  192 \V\textestimated        & \V\textreferencemark                    \\
  193 \V\textinterrobang      & \V\textsection$^*$                      \\
  194 \NV\textinterrobangdown  & \NV\textthreequartersemdash              \\
  195 \V\textmusicalnote      & \V\texttildelow                         \\
  196 \V\textnumero           & \NV\texttwelveudash                      \\
  197 \V\textopenbullet                                                 \\
  198 \end{tabular}
  199 
  200 \bigskip
  201 \twosymbolmessage
  202 
  203 \bigskip
  204 \usetextmathmessage[*]
  205 
  206 \end{symtable}
  207 
  208 
  209 
  210 \begin{symtable}{Text-mode Accents}
  211 \index{accents}
  212 \label{text-accents}
  213 \begin{tabular}{*3{ll@{\hspace*{3em}}}ll}
  214  \Q\"                                & \Q\`         & \Q\d         & \Q\r        \\
  215 \Q\'                                & \QivBAR\ddag & \Qiv\G\ddag  & \NQ\t        \\
  216 \Q\.                                & \Q\~         & \Qv\h\S      & \Q\u        \\
  217 \Q\= & \Q\b         & \QQ{\H}{O}{o}         & \Qiv\U\ddag \\
  218 \Q\^                                & \QQ{\c}Cc         & \Qt\k$^\dag$ & \Q\v        \\
  219 \end{tabular}
  220 \par\medskip
  221 \begin{tabular}{ll@{\hspace*{3em}}ll}
  222 \NQ\newtie$^*$ & \Qc\textcircled
  223 \end{tabular}
  224 
  225 \bigskip
  226 \begin{tablenote}[*]
  227   Requires the \TC\ package.
  228 \end{tablenote}
  229 
  230 \medskip
  231 \begin{tablenote}[\dag]
  232   Not available in the OT1 \fntenc[OT1].  Use the \pkgname{fontenc}
  233   package to select an alternate \fntenc[T1], such as T1.
  234 \end{tablenote}
  235 
  236 \medskip
  237 \begin{tablenote}[\ddag]
  238   Requires the T4 \fntenc[T4], provided by the \FC\ package.
  239 \end{tablenote}
  240 
  241 \medskip
  242 \begin{tablenote}[\S]
  243   Requires the T5 \fntenc[T5], provided by the \VIET\ package.
  244 \end{tablenote}
  245 
  246 \bigskip
  247 \begin{tablenote}
  248   \index{dotless i=dotless $i~(\imath)$>text mode}
  249   \index{dotless j=dotless $j~(\jmath)$>text mode}
  250   Also note the existence of \cmdI{\i} and \cmdI{\j}, which produce
  251   dotless versions of ``i'' and ``j'' (viz., ``\i'' and ``\j'').  These
  252   are useful when the accent is supposed to replace the dot.  For
  253   example, ``\verb|na\"{\i}ve|'' produces a correct ``na\"{\i}ve'',
  254   while ``\verb|na\"{i}ve|'' would yield the rather odd-looking
  255   ``na\"{i}ve''.  (``\verb|na\"{i}ve|'' \emph{does} work in encodings
  256   other than OT1, however.)
  257 \end{tablenote}
  258 \end{symtable}
  259 
  260 \section{Symbols for maths}
  261 
  262 \begin{symtable}{Math-Mode Versions of Text Symbols}
  263 \index{math-text}
  264 \begin{tabular}{*3{ll}}
  265 \X\mathdollar   & \X\mathparagraph & \X\mathsterling   \\
  266 \X\mathellipsis & \X\mathsection   & \X\mathunderscore \\
  267 \end{tabular}
  268 
  269 \bigskip
  270 \usetextmathmessage
  271 
  272 \end{symtable}
  273 
  274 \begin{symtable}{Binary Operators}
  275 \idxboth{binary}{operators}
  276 \index{division}
  277 \label{bin}
  278 \begin{tabular}{*4{ll}}
  279 \X\amalg           & \X\cup          & \X\oplus    & \X\times           \\
  280 \X\ast             & \X\dagger       & \X\oslash   & \X\triangleleft    \\
  281 \X\bigcirc         & \X\ddagger      & \X\otimes   & \X\triangleright   \\
  282 \X\bigtriangledown & \X\diamond      & \X\pm       & \X\unlhd$^*$       \\
  283 \X\bigtriangleup   & \X\div          & \X\rhd$^*$  & \X\unrhd$^*$       \\
  284 \X\bullet          & \X\lhd$^*$      & \X\setminus & \X\uplus           \\
  285 \X\cap             & \X\mp           & \X\sqcap    & \X\vee             \\
  286 \X\cdot            & \X\odot         & \X\sqcup    & \X\wedge           \\
  287 \X\circ            & \X\ominus       & \X\star     & \X\wr              \\
  288 \end{tabular}
  289 
  290 \bigskip
  291 \notpredefinedmessage
  292 \end{symtable}
  293 
  294 \begin{symtable}{Variable-sized Math Operators}
  295 \idxboth{variable-sized}{symbols}
  296 \index{integrals}
  297 \label{op}
  298 \renewcommand{\arraystretch}{1.75}  % Keep tall symbols from touching.
  299 \begin{tabular}{*3{l@{$\:$}ll@{\qquad}}l@{$\:$}ll}
  300 \R\bigcap    & \R\bigotimes & \R\bigwedge  & \R\prod      \\
  301 \R\bigcup    & \R\bigsqcup  & \R\coprod    & \R\sum       \\
  302 \R\bigodot   & \R\biguplus  & \R\int       \\
  303 \R\bigoplus  & \R\bigvee    & \R\oint      \\
  304 \end{tabular}
  305 \end{symtable}
  306 
  307 \begin{symtable}{Binary Relations}
  308 \idxboth{relational}{symbols}
  309 \index{tacks}
  310 \label{rel}
  311 \begin{tabular}{*4{ll}}
  312 \X\approx   & \X\equiv    & \X\perp     & \X\smile  \\
  313 \X\asymp    & \X\frown    & \X\prec     & \X\succ   \\
  314 \X\bowtie   & \X\Join$^*$ & \X\preceq   & \X\succeq \\
  315 \X\cong     & \X\mid      & \X\propto   & \X\vdash  \\
  316 \X\dashv    & \X\models   & \X\sim                  \\
  317 \X\doteq    & \X\parallel & \X\simeq                \\
  318 \end{tabular}
  319 
  320 \bigskip
  321 \notpredefinedmessageABX
  322 \end{symtable}
  323 
  324 \begin{symtable}{Subset and Superset Relations}
  325 \index{binary relations}
  326 \index{relational symbols>binary}
  327 \index{subsets}
  328 \index{supersets}
  329 \index{symbols>subset and superset}
  330 \label{subsets}
  331 \begin{tabular}{*3{ll}}
  332 \X\sqsubset$^*$ & \X\sqsupseteq & \X\supset   \\
  333 \X\sqsubseteq   & \X\subset     & \X\supseteq \\
  334 \X\sqsupset$^*$ & \X\subseteq                 \\
  335 \end{tabular}
  336 
  337 \bigskip
  338 \notpredefinedmessageABX
  339 \end{symtable}
  340 
  341 \begin{symtable}{Inequalities}
  342 \index{binary relations}\index{relational symbols>binary}
  343 \index{inequalities}
  344 \label{inequal-rel}
  345 \begin{tabular}{*5{ll}}
  346 \X\geq & \X\gg & \X\leq & \X\ll & \X\neq \\
  347 \end{tabular}
  348 \end{symtable}
  349 
  350 \begin{symtable}{Arrows}
  351 \index{arrows}
  352 \label{arrow}
  353 \begin{tabular}{*3{ll}}
  354 \X\Downarrow          & \X\longleftarrow      & \X\nwarrow     \\
  355 \X\downarrow          & \X\Longleftarrow      & \X\Rightarrow  \\
  356 \X\hookleftarrow      & \X\longleftrightarrow & \X\rightarrow  \\
  357 \X\hookrightarrow     & \X\Longleftrightarrow & \X\searrow     \\
  358 \X\leadsto$^*$        & \X\longmapsto         & \X\swarrow     \\
  359 \X\leftarrow          & \X\Longrightarrow     & \X\uparrow     \\
  360 \X\Leftarrow          & \X\longrightarrow     & \X\Uparrow     \\
  361 \X\Leftrightarrow     & \X\mapsto             & \X\updownarrow \\
  362 \X\leftrightarrow     & \X\nearrow$^\dag$     & \X\Updownarrow \\
  363 \end{tabular}
  364 
  365 \bigskip
  366 \notpredefinedmessage
  367 
  368 \bigskip
  369 \begin{tablenote}[\dag]
  370   See the note beneath Table~\ref{extensible-accents} for information
  371   about how to put a diagonal arrow across a mathematical expression%
  372 \ifhavecancel
  373   ~(as in ``$\cancelto{0}{\nabla \cdot \vec{B}}\quad$'')
  374 \fi
  375 .
  376 \end{tablenote}
  377 \end{symtable}
  378 
  379 
  380 \begin{symtable}{Harpoons}
  381 \index{harpoons}
  382 \label{harpoons}
  383 \begin{tabular}{*3{ll}}
  384 \X\leftharpoondown   & \X\rightharpoondown  & \X\rightleftharpoons \\
  385 \X\leftharpoonup     & \X\rightharpoonup                           \\
  386 \end{tabular}
  387 \end{symtable}
  388 
  389 \begin{symtable}{Extension Characters}
  390 \index{extension characters}
  391 \label{ext}
  392 \begin{tabular}{*2{ll}}
  393 \X\relbar & \X\Relbar \\
  394 \end{tabular}
  395 \end{symtable}
  396 
  397 \begin{symtable}{Log-like Symbols}
  398 \idxboth{log-like}{symbols}
  399 \index{atomic math objects}
  400 \index{limits}
  401 \label{log}
  402 \begin{tabular}{*8l}
  403 \Z\arccos & \Z\cos  & \Z\csc & \Z\exp & \Z\ker    & \Z\limsup & \Z\min & \Z\sinh \\
  404 \Z\arcsin & \Z\cosh & \Z\deg & \Z\gcd & \Z\lg     & \Z\ln     & \Z\Pr  & \Z\sup  \\
  405 \Z\arctan & \Z\cot  & \Z\det & \Z\hom & \Z\lim    & \Z\log    & \Z\sec & \Z\tan  \\
  406 \Z\arg    & \Z\coth & \Z\dim & \Z\inf & \Z\liminf & \Z\max    & \Z\sin & \Z\tanh
  407 \end{tabular}
  408 
  409 \bigskip
  410 \begin{tablenote}
  411   Calling the above ``symbols'' may be a bit
  412   misleading.\footnotemark{} Each log-like symbol merely produces the
  413   eponymous textual equivalent, but with proper surrounding spacing.
  414   As \cmd{\bmod} and \cmd{\pmod} are arguably not symbols we
  415   refer the reader to the Short Math Guide for
  416   \latex~\cite{Downes:smg} for samples.
  417 \end{tablenote}
  418 \end{symtable}
  419 \footnotetext{Michael\index{Downes, Michael J.} J. Downes prefers the
  420 more general term, ``atomic\index{atomic math objects} math objects''.}
  421 
  422 
  423 \begin{symtable}{\TC\ Text-mode Arrows}
  424 \index{arrows}
  425 \label{tc-arrows}
  426 \begin{tabular}{*2{ll}}
  427 \K\textdownarrow & \K\textrightarrow \\
  428 \K\textleftarrow & \K\textuparrow    \\
  429 \end{tabular}
  430 \end{symtable}
  431 
  432 \begin{symtable}{Math-mode Accents}
  433 \index{accents}
  434 \index{tilde}
  435 \label{math-accents}
  436 \begin{tabular}{*4{ll}}
  437 \W\acute{a}    & \W\check{a}    & \W\grave{a}    & \W\tilde{a} \\
  438 \W\bar{a}      & \NW\ddot{a}     & \W\hat{a}      & \NW\vec{a}   \\
  439 \W\breve{a}    & \W\dot{a}      & \W\mathring{a}               \\
  440 \end{tabular}
  441 
  442 \bigskip
  443 
  444 \begin{tablenote}
  445   \index{dotless i=dotless $i~(\imath)$>math mode}
  446   \index{dotless j=dotless $j~(\jmath)$>math mode}
  447   Also note the existence of \cmdX{\imath} and \cmdX{\jmath}, which
  448   produce dotless versions of ``\textit{i}'' and ``\textit{j}''.  (See
  449   Table~\vref{ord}.)  These are useful when the accent is supposed to
  450   replace the dot.  For example, ``\verb|\hat{\imath}|'' produces a
  451   correct ``$\,\hat{\imath}\,$'', while ``\verb|\hat{i}|'' would yield
  452   the rather odd-looking ``\,$\hat{i}\,$''.
  453 \end{tablenote}
  454 \end{symtable}
  455 
  456 
  457 
  458 
  459 \begin{symtable}{Greek Letters}
  460 \index{Greek}\index{alphabets>Greek}
  461 \label{greek}
  462 \begin{tabular}{*8l}
  463 \X\alpha        &\X\theta       &\X o           &\X\tau         \\
  464 \X\beta         &\X\vartheta    &\X\pi          &\X\upsilon     \\
  465 \X\gamma        &\X\iota        &\X\varpi       &\X\phi         \\
  466 \X\delta        &\X\kappa       &\X\rho         &\X\varphi      \\
  467 \X\epsilon      &\X\lambda      &\X\varrho      &\X\chi         \\
  468 \X\varepsilon   &\X\mu          &\X\sigma       &\X\psi         \\
  469 \X\zeta         &\X\nu          &\X\varsigma    &\X\omega       \\
  470 \X\eta          &\X\xi                                          \\
  471                                                                 \\
  472 \X\Gamma        &\X\Lambda      &\X\Sigma       &\X\Psi         \\
  473 \X\Delta        &\X\Xi          &\X\Upsilon     &\X\Omega       \\
  474 \X\Theta        &\X\Pi          &\X\Phi
  475 \end{tabular}
  476 
  477 \bigskip
  478 \begin{tablenote}
  479   The remaining Greek majuscules\index{majuscules} can be produced
  480   with ordinary Latin letters.  The symbol ``M'', for instance, is
  481   used for both an uppercase ``m'' and an uppercase ``$\mu$''.
  482 \end{tablenote}
  483 \end{symtable}
  484 
  485 \begin{symtable}{Letter-like Symbols}
  486 \idxboth{letter-like}{symbols}
  487 \index{tacks}
  488 \label{letter-like}
  489 \begin{tabular}{*5{ll}}
  490 \X\bot    & \X\forall & \X\imath & \X\ni      & \X\top \\
  491 \X\ell    & \X\hbar   & \X\in    & \X\partial & \X\wp  \\
  492 \X\exists & \X\Im     & \X\jmath & \X\Re               \\
  493 \end{tabular}
  494 \end{symtable}
  495 
  496 \begin{symtable}{Variable-sized Delimiters}
  497 \index{delimiters}
  498 \index{delimiters>variable-sized}
  499 \label{dels}
  500 \renewcommand{\arraystretch}{1.75}  % Keep tall symbols from touching.
  501 \begin{tabular}{lll@{\qquad}lll@{\hspace*{1.5cm}}lll@{\qquad}lll}
  502 \N\downarrow & \N\Downarrow & \N{[}           & \N[\magicrbrack]{]} \\
  503 \N\langle    & \N\rangle    & \N|$^*$
  504                                               & \N\| \\
  505 \N\lceil     & \N\rceil     & \N\uparrow      & \N\Uparrow          \\
  506 \N\lfloor    & \N\rfloor    & \N\updownarrow  & \N\Updownarrow      \\
  507 \N(          & \N)          & \N\{           & \N\}               \\
  508 \N/          & \N\backslash                                         \\
  509 \end{tabular}
  510 
  511 \bigskip
  512 \begin{tablenote}
  513   When used with \cmd{\left} and \cmd{\right}, these symbols expand to
  514   the height of the enclosed math expression.  Note that \cmdX{\vert}
  515   is a synonym for \verb+|+, and \cmdX{\Vert} is a synonym for
  516   \verb+\|+.
  517 \end{tablenote}
  518 
  519 \bigskip
  520 \begin{tablenote}[*]
  521   $\varepsilon$-\TeX{}\index{e-tex=$\varepsilon$-\TeX} provides a
  522   \cmd{\middle} analogue to \cmd{\left} and \cmd{\right} that can be
  523   used to make an internal ``$|$'' (often used to indicate
  524   ``evaluated\index{evaluated at=evaluated at ($\vert$)} at'') expand
  525   to the height of the surrounding \cmd{\left} and \cmd{\right}
  526   symbols.  A similar effect can be achieved in conventional \latex
  527   using the \pkgname{braket} package.
  528 \end{tablenote}
  529 \end{symtable}
  530 
  531 \begin{symtable}{Large, Variable-sized Delimiters}
  532 \index{delimiters}
  533 \index{delimiters>variable-sized}
  534 \label{ldels}
  535 \renewcommand{\arraystretch}{2.5}  % Keep tall symbols from touching.
  536 \begin{tabular}{*3{lll@{\qquad}}lll}
  537 \Y\lmoustache & \Y\rmoustache & \Y\lgroup    & \Y\rgroup \\
  538 \Y\arrowvert  & \Y\Arrowvert  & \Y\bracevert
  539 \end{tabular}
  540 
  541 \bigskip
  542 \begin{tablenote}
  543   These symbols \emph{must} be used with \cmd{\left} and \cmd{\right}.
  544   The \ABX\ package, however, redefines
  545   \cmdI[$\string\big\string\lgroup$]{\lgroup} and
  546   \cmdI[$\string\big\string\rgroup$]{\rgroup} so that those symbols
  547   can work without \cmd{\left} and \cmd{\right}.
  548 \end{tablenote}
  549 \end{symtable}
  550 
  551 \begin{symtable}{\TC\ Text-mode Delimiters}
  552 \index{delimiters}
  553 \index{delimiters>text-mode}
  554 \label{tc-delimiters}
  555 \begin{tabular}{*2{ll}}
  556 \K\textlangle    & \K\textrangle    \\
  557 \K\textlbrackdbl & \K\textrbrackdbl \\
  558 \NK\textlquill    & \NK\textrquill    \\
  559 \end{tabular}
  560 \end{symtable}
  561 
  562 \begin{symtable}{Extensible Accents}
  563 \index{accents}
  564 \idxboth{extensible}{accents}
  565 \idxboth{extensible}{arrows}
  566 \index{tilde}
  567 \index{tilde>extensible}
  568 \index{extensible tildes}
  569 \label{extensible-accents}
  570 \renewcommand{\arraystretch}{1.5}
  571 \begin{tabular}{*4l}
  572 \NW\widetilde{abc}{$^*$}         & \NW\widehat{abc}{$^*$}    \\
  573 \WD\overleftarrow{abc}{$^\dag$}  & \WD\overrightarrow{abc}{$^\dag$} \\
  574 \WD\overline{abc}{}              & \WD\underline{abc}{}      \\
  575 \WD\overbrace{abcd\cdots{}wxyz}{}         &
  576 \WD\underbrace{abcd\cdots{}wxyz}{}
  577 \\[5pt]
  578 \WD\sqrt{abc}{$^\ddag$}                                \\
  579 \end{tabular}
  580 
  581 \bigskip
  582 
  583 \begin{tablenote}
  584   \def\longdivsign{%
  585     \ensuremath{\overline{\vphantom{)}%
  586       \hbox{\smash{\raise3.5\fontdimen8\textfont3\hbox{$)$}}}%
  587       abc}}}
  588 
  589   \index{long division|(}
  590   \index{division|(}
  591   \index{polynomial division|(}
  592 
  593   As demonstrated in a 1997 TUGboat\index{TUGboat} article about
  594   typesetting long-division problems~\cite{Gibbons:longdiv}, an
  595   extensible long-division sign (``\,\longdivsign\,'') can be faked by
  596   putting a ``\verb|\big)|'' in a \texttt{tabular} environment with an
  597   \verb|\hline| or \verb|\cline| in the preceding row.  The article
  598   also presents a piece of code (uploaded to CTAN\idxCTAN{} as
  599   \texttt{longdiv.tex}%
  600   \index{longdiv=\textsf{longdiv} (package)}%
  601   \index{packages>\textsf{longdiv}}) that automatically solves and
  602   typesets---by putting an \cmdW{\overline} atop ``\verb|\big)|'' and
  603   the desired text---long-division problems.  See also the
  604   \pkgname{polynom} package, which automatically solves and typesets
  605   polynomial-division problems in a similar manner.
  606 
  607   \index{long division|)}
  608   \index{division|)}
  609   \index{polynomial division|)}
  610 \end{tablenote}
  611 
  612 \begin{tablenote}[\dag]
  613   If you're looking for an extensible \emph{diagonal} line or arrow to
  614   be used for canceling or reducing mathematical
  615   subexpressions\index{arrows>diagonal, for reducing subexpressions}
  616 \ifhavecancel
  617   (e.g.,~``$\cancel{x + -x}$'' or ``$\cancelto{5}{3+2}\quad$'')
  618 \fi
  619   then consider using the \pkgname{cancel} package.
  620 \end{tablenote}
  621 
  622 \bigskip
  623 
  624 \begin{tablenote}[\ddag]
  625   With an optional argument, \verb|\sqrt| typesets nth roots.  For
  626   example, ``\verb|\sqrt[3]{abc}|'' produces~``$\!\sqrt[3]{abc}$\,''
  627   and ``\verb|\sqrt[n]{abc}|'' produces~``$\!\sqrt[n]{abc}$\,''.
  628 \end{tablenote}
  629 \end{symtable}
  630 \begin{symtable}{Dots}
  631 \idxboth{dot}{symbols}
  632 \index{dots (ellipses)} \index{ellipses (dots)}
  633 \label{dots}
  634 \ifMDOTS
  635   \def\MDfn{$^\dag$}%
  636 \else
  637   \def\MDfn{}%
  638 \fi    % MDOTS test
  639 \begin{tabular}{*{3}{ll@{\hspace*{1.5cm}}}ll}
  640 \X\cdotp & \X\colon$^*$  & \X\ldotp & \X\vdots\MDfn \\
  641 \X\cdots & \X\ddots\MDfn & \X\ldots                 \\
  642 \end{tabular}
  643 
  644 \bigskip
  645 
  646 \begin{tablenote}[*]
  647   While ``\texttt{:}'' is valid in math mode, \cmd{\colon} uses
  648   different surrounding spacing. 
  649 \end{tablenote}
  650 
  651 \ifMDOTS
  652 \bigskip
  653 
  654 \begin{tablenote}[\dag]
  655   The \MDOTS\ package redefines \cmdX{\ddots} and \cmdX{\vdots} to
  656   make them scale properly with font size.  (They normally scale
  657   horizontally but not vertically.)  \cmdX{\fixedddots} and
  658   \cmdX{\fixedvdots} provide the original, fixed-height functionality
  659   of \latexE's \cmdX{\ddots} and \cmdX{\vdots} macros.
  660 \end{tablenote}
  661 
  662 \fi    % MDOTS test
  663 \end{symtable}
  664 \begin{symtable}{Miscellaneous \TC\ Text-mode Math Symbols}
  665 \index{fractions}
  666 \label{tc-math}
  667 \ifFRAC
  668   \def\FRACfn{$^\dag$}
  669 \else
  670   \def\FRACfn{}
  671 \fi
  672 \begin{tabular}{*3{ll}}
  673 \K\textdegree$^*$      & \K\textonehalf\FRACfn    & \K\textthreequarters\FRACfn \\
  674 \K\textdiv             & \K\textonequarter\FRACfn & \K\textthreesuperior \\
  675 \K\textfractionsolidus & \K\textonesuperior       & \K\texttimes         \\
  676 \K\textlnot            & \K\textpm                & \K\texttwosuperior   \\
  677 \K\textminus           & \K\textsurd                                     \\
  678 \end{tabular}
  679 
  680 \bigskip
  681 
  682 \begin{tablenote}[*]
  683   If you prefer a larger degree symbol you might consider defining one
  684   as ``\verb|\ensuremath{^\circ}|''~(``$^\circ$'')%
  685   \indexcommand[$\string\circ$]{\circ}.
  686 \end{tablenote}
  687 
  688 \ifFRAC
  689   \bigskip
  690   \begin{tablenote}[\dag]
  691     \pkgname{nicefrac} (part of the \pkgname{units} package) can be
  692     used to construct vulgar fractions like ``\nicefrac{1}{2}'',
  693     ``\nicefrac{1}{4}'', ``\nicefrac{3}{4}'', and even
  694     ``\nicefrac{c}{o}''\index{care of=care of (\nicefrac{c}{o})}.
  695   \end{tablenote}
  696 \fi    % FRAC test
  697 \end{symtable}
  698 
  699 \begin{symtable}{\TC\ Text-mode Science and Engineering Symbols}
  700 \label{tc-science}
  701 \begin{tabular}{*4{ll}}
  702 \K\textcelsius & \K\textmho & \K\textmu & \K\textohm \\
  703 \end{tabular}
  704 \end{symtable}
  705 
  706 \begin{symtable}{\TC\ Genealogical Symbols}
  707 \idxboth{genealogical}{symbols}
  708 \label{genealogical}
  709 \begin{tabular}{*3{ll}}
  710 \K\textborn     & \K\textdivorced & \K\textmarried  \\
  711 \K\textdied     & \NK\textleaf     \\
  712 \end{tabular}
  713 \end{symtable}
  714 
  715 
  716 \begin{symtable}{Miscellaneous \latexE{} Math Symbols}
  717 \idxboth{miscellaneous}{symbols}
  718 \index{card suits}
  719 \index{diamonds (suit)}
  720 \index{hearts (suit)}
  721 \index{clubs (suit)}
  722 \index{spades (suit)}
  723 \idxboth{musical}{symbols}
  724 \index{dots (ellipses)}
  725 \index{ellipses (dots)}
  726 \index{null set}
  727 \index{dotless i=dotless $i~(\imath)$>math mode}
  728 \index{dotless j=dotless $j~(\jmath)$>math mode}
  729 \index{angles}
  730 \label{ord}
  731 \ifAMS
  732   \def\AMSfn{$^\ddag$}
  733 \else
  734   \def\AMSfn{}
  735 \fi
  736 \begin{tabular}{*4{ll}}
  737 \X\aleph          & \X\Diamond$^*$    & \X\infty   & \X\prime     \\
  738 \X\angle          & \X\diamondsuit    & \X\mho$^*$ & \X\sharp     \\
  739 \X\backslash      & \X\emptyset\AMSfn & \X\nabla   & \X\spadesuit \\
  740 \X\Box$^{*,\dag}$ & \X\flat           & \X\natural & \X\surd      \\
  741 \X\clubsuit       & \X\heartsuit      & \X\neg     & \X\triangle  \\
  742 \end{tabular}
  743 
  744 \bigskip
  745 \notpredefinedmessage
  746 
  747 \bigskip
  748 \begin{tablenote}[\dag]
  749   To use \cmdX{\Box}---or any other symbol---as an end-of-proof
  750   (Q.E.D\@.)\index{Q.E.D.}\index{end of proof}\index{proof, end of}
  751   marker, consider using the \pkgname{ntheorem} package, which
  752   properly juxtaposes a symbol with the end of the proof text.
  753 \end{tablenote}
  754 
  755 \ifAMS
  756   \bigskip
  757   \begin{tablenote}[\ddag]
  758     Many people prefer the look of \AMS's \cmdX{\varnothing}
  759     (Table~\ref{ams-misc}) to that of \latex's \cmdX{\emptyset}.
  760   \end{tablenote}
  761 \fi    % AMS test
  762 
  763 \end{symtable}
  764 
  765 \section*{AMS symbols}
  766 
  767 
  768 \begin{symtable}[AMS]{\AMS\ Commands Defined to Work in Both Math and Text Mode}
  769 \label{ams-math-text}
  770 \begin{tabular}{*2{ll@{\qquad}}ll}
  771 \X\checkmark & \X\circledR & \X\maltese
  772 \end{tabular}
  773 \end{symtable}
  774 
  775 \begin{symtable}[AMS]{\AMS\ Binary Operators}
  776 \idxboth{binary}{operators}
  777 \index{semidirect products}
  778 \label{ams-bin}
  779 \begin{tabular}{*3{ll}}
  780 \X\barwedge        & \X\circledcirc     & \X\intercal        \\
  781 \X\boxdot          & \X\circleddash     & \X\leftthreetimes  \\
  782 \X\boxminus        & \X\Cup             & \X\ltimes          \\
  783 \X\boxplus         & \X\curlyvee        & \X\rightthreetimes \\
  784 \X\boxtimes        & \X\curlywedge      & \X\rtimes          \\
  785 \X\Cap             & \X\divideontimes   & \X\smallsetminus   \\
  786 \X\centerdot       & \X\dotplus         & \X\veebar          \\
  787 \X\circledast      & \X\doublebarwedge  \\
  788 \end{tabular}
  789 \end{symtable}
  790 
  791 \begin{symtable}[AMS]{\AMS\ Variable-sized Math Operators}
  792 \idxboth{variable-sized}{symbols}
  793 \index{integrals}
  794 \label{ams-large}
  795 \renewcommand{\arraystretch}{2.5}  % Keep tall symbols from touching.
  796 \begin{tabular}{l@{$\:$}ll@{\qquad}l@{$\:$}ll}
  797 \R[\AMSiint]\iint     & \R[\AMSiiint]\iiint       \\
  798 \R[\AMSiiiint]\iiiint & \R[\AMSidotsint]\idotsint \\
  799 \end{tabular}
  800 \end{symtable}
  801 
  802 \begin{symtable}[AMS]{\AMS\ Binary Relations}
  803 \index{binary relations}
  804 \index{relational symbols>binary}
  805 \label{ams-rel}
  806 \begin{tabular}{*3{ll}}
  807 \X\approxeq      & \X\eqcirc        & \X\succapprox    \\
  808 \X\backepsilon   & \X\fallingdotseq & \X\succcurlyeq   \\
  809 \X\backsim       & \X\multimap      & \X\succsim       \\
  810 \X\backsimeq     & \X\pitchfork     & \X\therefore     \\
  811 \X\because       & \X\precapprox    & \NX\thickapprox   \\
  812 \X\between       & \X\preccurlyeq   & \NX\thicksim      \\
  813 \X\Bumpeq        & \X\precsim       & \X\varpropto     \\
  814 \X\bumpeq        & \X\risingdotseq  & \X\Vdash         \\
  815 \X\circeq        & \NX\shortmid      & \X\vDash         \\
  816 \X\curlyeqprec   & \NX\shortparallel & \X\Vvdash        \\
  817 \X\curlyeqsucc   & \NX\smallfrown    &                  \\
  818 \X\doteqdot      & \NX\smallsmile    &                  \\
  819 \end{tabular}
  820 \end{symtable}
  821 
  822 \begin{symtable}[AMS]{\AMS\ Negated Binary Relations}
  823 \index{binary relations>negated}
  824 \index{relational symbols>negated binary}
  825 \label{ams-nrel}
  826 \begin{tabular}{*3{ll}}
  827 \X\ncong     & \NX\nshortparallel & \X\nVDash      \\
  828 \X\nmid      & \X\nsim           & \X\precnapprox \\
  829 \X\nparallel & \X\nsucc          & \X\precnsim    \\
  830 \X\nprec     & \X\nsucceq        & \X\succnapprox \\
  831 \X\npreceq   & \X\nvDash         & \X\succnsim    \\
  832 \NX\nshortmid & \X\nvdash                          \\
  833 \end{tabular}
  834 \end{symtable}
  835 \begin{symtable}[AMS]{\AMS\ Subset and Superset Relations}
  836 \index{binary relations}
  837 \index{relational symbols>binary}
  838 \index{subsets}
  839 \index{supersets}
  840 \index{symbols>subset and superset}
  841 \label{ams-subsets}
  842 \begin{tabular}{*3{ll}}
  843 \X\nsubseteq  & \X\subseteqq  & \X\supsetneqq    \\
  844 \X\nsupseteq  & \X\subsetneq  & \NX\varsubsetneq  \\
  845 \NX\nsupseteqq & \X\subsetneqq & \NX\varsubsetneqq \\
  846 \X\sqsubset   & \X\Supset     & \NX\varsupsetneq  \\
  847 \X\sqsupset   & \X\supseteqq  & \NX\varsupsetneqq \\
  848 \X\Subset     & \X\supsetneq                     \\
  849 \end{tabular}
  850 \end{symtable}
  851 
  852 
  853 \begin{symtable}[AMS]{\AMS\ Inequalities}
  854 \index{binary relations}\index{relational symbols>binary}
  855 \index{inequalities}
  856 \label{ams-inequal-rel}
  857 \renewcommand{\arraystretch}{1.5}   % Keep visually similar symbols from touching.
  858 \begin{tabular}{*4{ll}}
  859 \X\eqslantgtr  & \X\gtrdot      & \X\lesseqgtr   & \X\ngeq        \\
  860 \X\eqslantless & \X\gtreqless   & \X\lesseqqgtr  & \NX\ngeqq       \\
  861 \X\geqq        & \X\gtreqqless  & \X\lessgtr     & \NX\ngeqslant   \\
  862 \X\geqslant    & \X\gtrless     & \X\lesssim     & \X\ngtr        \\
  863 \X\ggg         & \X\gtrsim      & \X\lll         & \X\nleq        \\
  864 \X\gnapprox    & \NX\gvertneqq   & \X\lnapprox    & \NX\nleqq       \\
  865 \X\gneq        & \X\leqq        & \X\lneq        & \NX\nleqslant   \\
  866 \X\gneqq       & \X\leqslant    & \X\lneqq       & \X\nless       \\
  867 \X\gnsim       & \X\lessapprox  & \X\lnsim       &                \\
  868 \X\gtrapprox   & \X\lessdot     & \NX\lvertneqq   &                \\
  869 \end{tabular}
  870 \end{symtable}
  871 
  872 \begin{symtable}[AMS]{\AMS\ Triangle Relations}
  873 \index{triangle relations}\index{relational symbols>triangle}
  874 \label{ams-triangle-rel}
  875 \begin{tabular}{*4{ll}}
  876 \X\blacktriangleleft  & \X\ntrianglelefteq  & \X\trianglelefteq  & \X\vartriangleleft  \\
  877 \X\blacktriangleright & \X\ntriangleright   & \X\triangleq       & \X\vartriangleright \\
  878 \X\ntriangleleft      & \X\ntrianglerighteq & \X\trianglerighteq                       \\
  879 \end{tabular}
  880 \end{symtable}
  881 
  882 \begin{symtable}[AMS]{\AMS\ Arrows}
  883 \index{arrows}
  884 \label{ams-arrows}
  885 \begin{tabular}{*3{ll}}
  886 \X\circlearrowleft  & \X\leftleftarrows      & \X\rightleftarrows   \\
  887 \X\circlearrowright & \X\leftrightarrows     & \X\rightrightarrows  \\
  888 \X\curvearrowleft   & \X\leftrightsquigarrow & \X\rightsquigarrow   \\
  889 \X\curvearrowright  & \X\Lleftarrow          & \X\Rsh               \\
  890 \X\dashleftarrow    & \X\looparrowleft       & \X\twoheadleftarrow  \\
  891 \X\dashrightarrow   & \X\looparrowright      & \X\twoheadrightarrow \\
  892 \X\downdownarrows   & \X\Lsh                 & \X\upuparrows        \\
  893 \X\leftarrowtail    & \X\rightarrowtail      &                      \\
  894 \end{tabular}
  895 \end{symtable}
  896 
  897 
  898 \begin{symtable}[AMS]{\AMS\ Negated Arrows}
  899 \index{arrows>negated}
  900 \label{ams-narrows}
  901 \begin{tabular}{*3{ll}}
  902 \X\nLeftarrow      & \X\nLeftrightarrow & \X\nRightarrow     \\
  903 \X\nleftarrow      & \X\nleftrightarrow & \X\nrightarrow     \\
  904 \end{tabular}
  905 \end{symtable}
  906 
  907 \begin{symtable}[AMS]{\AMS\ Harpoons}
  908 \index{harpoons}
  909 \label{ams-harpoons}
  910 \begin{tabular}{*3{ll}}
  911 \X\downharpoonleft  & \X\leftrightharpoons                        & \X\upharpoonleft  \\
  912 \X\downharpoonright & \X\rightleftharpoons & \X\upharpoonright \\
  913 \end{tabular}
  914 \end{symtable}
  915 \begin{symtable}[AMS]{\AMS\ Log-like Symbols}
  916 \idxboth{log-like}{symbols}
  917 \index{atomic math objects}
  918 \index{limits}
  919 \label{ams-log}
  920 \renewcommand{\arraystretch}{1.5}  % Keep tall symbols from touching.
  921 \begin{tabular}{*2{ll@{\qquad}}ll}
  922 \X\injlim     & \NX\varinjlim  & \X\varlimsup  \\
  923 \X\projlim    & \X\varliminf  & \NX\varprojlim
  924 \end{tabular}
  925 
  926 
  927 \bigskip
  928 \begin{tablenote}
  929   Load the \pkgname{amsmath} package to get these symbols.
  930   As \cmd{\mod} and \cmd{\pod} are arguably not
  931   symbols we refer the reader to the Short Math Guide for
  932   \latex~\cite{Downes:smg} for samples.
  933 \end{tablenote}
  934 \end{symtable}
  935 
  936 \begin{symtable}[AMS]{\AMS\ Greek Letters}
  937 \index{Greek}\index{alphabets>Greek}
  938 \label{ams-greek}
  939 \begin{tabular}{*4l}
  940 \X\digamma      &\X\varkappa
  941 \end{tabular}
  942 \end{symtable}
  943 
  944 
  945 \begin{symtable}[AMS]{\AMS\ Hebrew Letters}
  946 \index{Hebrew}\index{alphabets>Hebrew}
  947 \label{ams-hebrew}
  948 \begin{tabular}{*6l}
  949 \X\beth & \X\gimel & \X\daleth
  950 \end{tabular}
  951 
  952 \bigskip
  953 \begin{tablenote}
  954 \cmdX{\aleph} appears in Table~\vref{ord}.
  955 \end{tablenote}
  956 \end{symtable}
  957 \begin{symtable}[AMS]{\AMS\ Letter-like Symbols}
  958 \idxboth{letter-like}{symbols}
  959 \label{ams-letter-like}
  960 \begin{tabular}{*3{ll}}
  961 \X\Bbbk       & \X\complement & \X\hbar    \\
  962 \X\circledR   & \X\Finv       & \X\hslash  \\
  963 \X\circledS   & \X\Game       & \X\nexists \\
  964 \end{tabular}
  965 \end{symtable}
  966 
  967 
  968 \begin{symtable}[AMS]{\AMS\ Delimiters}
  969 \index{delimiters}
  970 \label{ams-del}
  971 \begin{tabular}{*2{ll}}
  972 \X\ulcorner & \X\urcorner \\
  973 \X\llcorner & \X\lrcorner
  974 \end{tabular}
  975 \end{symtable}
  976 
  977 \begin{symtable}[AMS]{\AMS\ Variable-sized Delimiters}
  978 \index{delimiters}
  979 \index{delimiters>variable-sized}
  980 \label{ams-var-del}
  981 \renewcommand{\arraystretch}{2.5}  % Keep tall symbols from touching.
  982 \begin{tabular}{lll@{\qquad}lll}
  983 \N\lvert & \N\rvert \\
  984 \N\lVert & \N\rVert \\
  985 \end{tabular}
  986 \bigskip
  987 \begin{tablenote}
  988   According to the \texttt{amsmath}
  989   documentation~\cite{AMS1999:amsmath}, the preceding symbols are
  990   intended to be used as delimiters (e.g.,~as in ``$\lvert -z
  991   \rvert$'') while the \cmdX{\vert} and \cmdX{\Vert} symbols
  992   (Table~\vref{dels}) are intended to be used as operators (e.g.,~as
  993   in ``$p \vert q$'').
  994 \end{tablenote}
  995 \end{symtable}
  996 
  997 \begin{symtable}[AMS]{\AMS\ Math-mode Accents}
  998 \index{accents}
  999 \label{ams-math-accents}
 1000 \begin{tabular}{ll@{\hspace*{2em}}ll}
 1001 \NW\dddot{a}    & \NW\ddddot{a} \\
 1002 \end{tabular}
 1003 
 1004 \bigskip
 1005 
 1006 \begin{tablenote}
 1007   These accents are also provided by the \ABX\ package.
 1008 \end{tablenote}
 1009 \end{symtable}
 1010 
 1011 \begin{symtable}[AMS]{\AMS\ Extensible Accents}
 1012 \idxboth{extensible}{accents}
 1013 \idxboth{extensible}{arrows}
 1014 \label{extensible-arrows}
 1015 \renewcommand{\arraystretch}{1.5}
 1016 \begin{tabular}{l@{\qquad}l}
 1017 \WD\overleftrightarrow{abc\cdots{}xyz}{}  &
 1018 \WD\underleftrightarrow{abc\cdots{}xyz}{} \\
 1019 \WD\underleftarrow{abc}{}      & \WD\underrightarrow{abc}{}     \\[2ex]
 1020 \multicolumn{2}{p{0.75\textwidth}}{%
 1021   The following are a sort of ``reverse accent'' in that the argument
 1022   text serves as a superscript to the arrow.  In addition, the
 1023   optional first argument (not shown) serves as a subscript to the
 1024   arrow.  See the Short Math Guide for \latex~\cite{Downes:smg} for
 1025   further examples.
 1026 } \\~\\[-2ex]
 1027 \WD\xleftarrow{abc}{}          & \WD\xrightarrow{abc}{}         \\
 1028 \end{tabular}
 1029 \end{symtable}
 1030 
 1031 
 1032 \begin{symtable}[AMS]{\AMS\ Dots}
 1033 \idxboth{dot}{symbols}
 1034 \index{dots (ellipses)} \index{ellipses (dots)}
 1035 \label{ams-dots}
 1036 \begin{tabular}{*{2}{ll@{\hspace*{1.5cm}}}ll}
 1037 \X[\cdots]\dotsb & \X[\cdots]\dotsi & \X[\ldots]\dotso \\
 1038 \X[\ldots]\dotsc & \X[\cdots]\dotsm                    \\
 1039 \end{tabular}
 1040 
 1041 \bigskip
 1042 \begin{tablenote}
 1043   The \AMS\ dot symbols are named according to their intended usage:
 1044   \cmdI[$\string\cdots$]{\dotsb} between pairs of binary operators/relations,
 1045   \cmdI[$\string\ldots$]{\dotsc} between pairs of commas,
 1046   \cmdI[$\string\cdots$]{\dotsi} between pairs of integrals,
 1047   \cmdI[$\string\cdots$]{\dotsm} between pairs of multiplication signs, and
 1048   \cmdI[$\string\ldots$]{\dotso} between other symbol pairs.
 1049 \end{tablenote}
 1050 \end{symtable}
 1051 
 1052 \begin{symtable}[AMS]{Miscellaneous \AMS\ Math Symbols}
 1053 \idxboth{miscellaneous}{symbols}
 1054 \index{stars}
 1055 \index{triangles}
 1056 \index{null set}
 1057 \index{angles}
 1058 \label{ams-misc}
 1059 \begin{tabular}{*3{ll}}
 1060 \X\angle & \X\blacktriangledown & \X\mho            \\
 1061 \X\backprime        & \X\diagdown          & \X\sphericalangle \\
 1062 \X\bigstar          & \X\diagup            & \X\square         \\
 1063 \X\blacklozenge     & \X\eth               & \X\triangledown   \\
 1064 \X\blacksquare      & \X\lozenge           & \X\varnothing     \\
 1065 \X\blacktriangle    & \X\measuredangle     & \X\vartriangle    \\
 1066 
 1067 \end{tabular}
 1068 \end{symtable}
 1069 
 1070 \end{document}