home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1994 January / usenetsourcesnewsgroupsinfomagicjanuary1994.iso / sources / unix / volume3 / texchk / part2 / cmds.c next >
Encoding:
C/C++ Source or Header  |  1986-11-30  |  20.7 KB  |  696 lines

  1. #include "cmds.h"
  2.  
  3. Latex_Command Command_Table[] = {
  4.  
  5.         { 1, " ", '\0' },
  6.         { 1, "!", '1' },
  7.         { 1, "\"", '\0' },
  8.         { 1, "#", '\0' },
  9.         { 1, "$", '\0' },
  10.         { 1, "%", '\0' },
  11.         { 1, "&", '\0' },
  12.         { 1, "'", '\0' },
  13.         { 1, "(", '\0' },
  14.         { 1, ")", '\0' },
  15.         { 1, "+", '\0' },
  16.         { 1, ",", '\0' },
  17.         { 1, "-", '\0' },
  18.         { 1, ".", '\0' },
  19.         { 1, "/", '\0' },
  20.         { 1, ":", '1' },
  21.         { 1, ";", '1' },
  22.         { 1, "<", '\0' },
  23.         { 1, "=", '\0' },
  24.         { 1, ">", '\0' },
  25.         { 1, "@", '\0' },
  26.         { 2, "AA", '\0' },
  27.         { 2, "AE", '\0' },
  28.         { 4, "Alph", '\0' },
  29.         { 3, "Box", '1' },
  30.         { 5, "Delta", '1' },
  31.         { 7, "Diamond", '1' },
  32.         { 9, "Downarrow", '1' },
  33.         { 5, "Gamma", '1' },
  34.         { 1, "H", '\0' },
  35.         { 4, "Huge", '\0' },
  36.         { 2, "Im", '1' },
  37.         { 4, "Join", '1' },
  38.         { 5, "LARGE", '\0' },
  39.         { 5, "LaTeX", '\0' },
  40.         { 6, "Lambda", '1' },
  41.         { 5, "Large", '\0' },
  42.         { 9, "Leftarrow", '1' },
  43.         { 14, "Leftrightarrow", '1' },
  44.         { 13, "Longleftarrow", '1' },
  45.         { 18, "Longleftrightarrow", '1' },
  46.         { 14, "Longrightarrow", '1' },
  47.         { 1, "O", '\0' },
  48.         { 2, "OE", '\0' },
  49.         { 5, "Omega", '1' },
  50.         { 1, "P", '\0' },
  51.         { 3, "Phi", '1' },
  52.         { 2, "Pi", '1' },
  53.         { 2, "Pr", '1' },
  54.         { 3, "Psi", '1' },
  55.         { 2, "Re", '1' },
  56.         { 10, "Rightarrow", '1' },
  57.         { 5, "Roman", '\0' },
  58.         { 1, "S", '\0' },
  59.         { 5, "Sigma", '1' },
  60.         { 3, "TeX", '\0' },
  61.         { 5, "Theta", '1' },
  62.         { 7, "Uparrow", '1' },
  63.         { 11, "Updownarrow", '1' },
  64.         { 7, "Upsilon", '1' },
  65.         { 2, "Xi", '1' },
  66.         { 1, "[", '\0' },
  67.         { 1, "\\", '\0' },
  68.         { 2, "\\*", '\0' },
  69.         { 1, "]", '\0' },
  70.         { 1, "^", '\0' },
  71.         { 1, "_", '1' },
  72.         { 1, "`", '\0' },
  73.         { 1, "a", '\0' },
  74.         { 2, "aa", '\0' },
  75.         { 21, "abovedisplayshortskip", '\0' },
  76.         { 16, "abovedisplayskip", '\0' },
  77.         { 5, "acute", '1' },
  78.         { 15, "addcontentsline", '\0' },
  79.         { 7, "address", '\0' },
  80.         { 7, "address", '\0' },
  81.         { 13, "addtocontents", '\0' },
  82.         { 12, "addtocounter", '\0' },
  83.         { 11, "addtolength", '\0' },
  84.         { 9, "addvspace", '\0' },
  85.         { 13, "advancepageno", '\0' },
  86.         { 2, "ae", '\0' },
  87.         { 5, "aleph", '1' },
  88.         { 4, "alph", '\0' },
  89.         { 5, "alpha", '1' },
  90.         { 5, "amalg", '1' },
  91.         { 3, "and", '\0' },
  92.         { 5, "angle", '1' },
  93.         { 8, "appendix", '\0' },
  94.         { 6, "approx", '1' },
  95.         { 6, "arabic", '\0' },
  96.         { 6, "arccos", '1' },
  97.         { 6, "arcsin", '1' },
  98.         { 6, "arctan", '1' },
  99.         { 3, "arg", '1' },
  100.         { 11, "arraycolsep", '\0' },
  101.         { 14, "arrayrulewidth", '\0' },
  102.         { 12, "arraystretch", '\0' },
  103.         { 3, "ast", '1' },
  104.         { 5, "asymp", '1' },
  105.         { 6, "author", '\0' },
  106.         { 1, "b", '\0' },
  107.         { 9, "backslash", '1' },
  108.         { 3, "bar", '1' },
  109.         { 12, "baselineskip", '\0' },
  110.         { 15, "baselinestretch", '\0' },
  111.         { 9, "batchmode", '\0' },
  112.         { 5, "begin", '\0' },
  113.         { 12, "beginsection", '\0' },
  114.         { 21, "belowdisplayshortskip", '\0' },
  115.         { 16, "belowdisplayskip", '\0' },
  116.         { 4, "beta", '1' },
  117.         { 2, "bf", '\0' },
  118.         { 9, "bibindent", '\0' },
  119.         { 7, "bibitem", '\0' },
  120.         { 12, "bibliography", '\0' },
  121.         { 17, "bibliographystyle", '\0' },
  122.         { 6, "bigcap", '1' },
  123.         { 7, "bigcirc", '1' },
  124.         { 6, "bigcup", '1' },
  125.         { 7, "bigodot", '1' },
  126.         { 8, "bigoplus", '1' },
  127.         { 9, "bigotimes", '1' },
  128.         { 7, "bigskip", '\0' },
  129.         { 13, "bigskipamount", '\0' },
  130.         { 8, "bigsqcup", '1' },
  131.         { 15, "bigtriangledown", '1' },
  132.         { 13, "bigtriangleup", '1' },
  133.         { 8, "biguplus", '1' },
  134.         { 6, "bigvee", '1' },
  135.         { 8, "bigwedge", '1' },
  136.         { 13, "blackandwhite", '\0' },
  137.         { 4, "bmod", '1' },
  138.         { 8, "boldmath", '\0' },
  139.         { 3, "bot", '1' },
  140.         { 14, "bottomfraction", '\0' },
  141.         { 6, "bowtie", '1' },
  142.         { 5, "breve", '1' },
  143.         { 6, "bullet", '1' },
  144.         { 3, "bye", '\0' },
  145.         { 1, "c", '\0' },
  146.         { 3, "cal", '1' },
  147.         { 3, "cap", '1' },
  148.         { 7, "caption", '\0' },
  149.         { 2, "cc", '\0' },
  150.         { 4, "cdot", '1' },
  151.         { 5, "cdots", '1' },
  152.         { 9, "centering", '\0' },
  153.         { 7, "chapter", '\0' },
  154.         { 7, "chapter", '\0' },
  155.         { 5, "check", '1' },
  156.         { 3, "chi", '1' },
  157.         { 4, "circ", '1' },
  158.         { 6, "circle", '\0' },
  159.         { 7, "circle*", '\0' },
  160.         { 4, "cite", '\0' },
  161.         { 15, "cleardoublepage", '\0' },
  162.         { 9, "clearpage", '\0' },
  163.         { 9, "cleartabs", '\0' },
  164.         { 5, "cline", '\0' },
  165.         { 7, "closing", '\0' },
  166.         { 8, "clubsuit", '1' },
  167.         { 6, "colors", '\0' },
  168.         { 11, "colorslides", '\0' },
  169.         { 9, "columnsep", '\0' },
  170.         { 13, "columnseprule", '\0' },
  171.         { 4, "cong", '1' },
  172.         { 6, "coprod", '1' },
  173.         { 9, "copyright", '\0' },
  174.         { 3, "cos", '1' },
  175.         { 4, "cosh", '1' },
  176.         { 3, "cot", '1' },
  177.         { 4, "coth", '1' },
  178.         { 3, "csc", '1' },
  179.         { 3, "cup", '1' },
  180.         { 1, "d", '\0' },
  181.         { 3, "dag", '\0' },
  182.         { 6, "dagger", '1' },
  183.         { 7, "dashbox", '\0' },
  184.         { 5, "dashv", '1' },
  185.         { 4, "date", '\0' },
  186.         { 20, "dblfloatpagefraction", '\0' },
  187.         { 11, "dblfloatsep", '\0' },
  188.         { 15, "dbltextfloatsep", '\0' },
  189.         { 14, "dbltopfraction", '\0' },
  190.         { 4, "ddag", '\0' },
  191.         { 7, "ddagger", '1' },
  192.         { 4, "ddot", '1' },
  193.         { 5, "ddots", '1' },
  194.         { 3, "def", '\0' },
  195.         { 3, "deg", '1' },
  196.         { 5, "delta", '1' },
  197.         { 3, "det", '1' },
  198.         { 7, "diamond", '1' },
  199.         { 11, "diamondsuit", '1' },
  200.         { 3, "dim", '1' },
  201.         { 12, "displaystyle", '1' },
  202.         { 3, "div", '1' },
  203.         { 13, "documentstyle", '\0' },
  204.         { 12, "dosupereject", '\0' },
  205.         { 3, "dot", '1' },
  206.         { 5, "doteq", '1' },
  207.         { 7, "dotfill", '\0' },
  208.         { 9, "downarrow", '1' },
  209.         { 3, "ell", '1' },
  210.         { 2, "em", '\0' },
  211.         { 8, "emptyset", '1' },
  212.         { 4, "encl", '\0' },
  213.         { 3, "end", '\0' },
  214.         { 9, "endinsert", '\0' },
  215.         { 7, "epsilon", '1' },
  216.         { 7, "eqalign", '\0' },
  217.         { 9, "eqalignno", '\0' },
  218.         { 5, "equiv", '1' },
  219.         { 3, "eta", '1' },
  220.         { 14, "evensidemargin", '\0' },
  221.         { 6, "exists", '1' },
  222.         { 3, "exp", '1' },
  223.         { 11, "extracolsep", '\0' },
  224.         { 4, "fbox", '\0' },
  225.         { 8, "fboxrule", '\0' },
  226.         { 7, "fboxsep", '\0' },
  227.         { 4, "fill", '\0' },
  228.         { 6, "fivebf", '\0' },
  229.         { 5, "fivei", '\0' },
  230.         { 6, "fiverm", '\0' },
  231.         { 6, "fivesy", '\0' },
  232.         { 4, "flat", '1' },
  233.         { 17, "floatpagefraction", '\0' },
  234.         { 8, "floatsep", '\0' },
  235.         { 11, "flushbottom", '\0' },
  236.         { 8, "fnsymbol", '1' },
  237.         { 5, "folio", '\0' },
  238.         { 10, "footheight", '\0' },
  239.         { 8, "footline", '\0' },
  240.         { 8, "footnote", '\0' },
  241.         { 12, "footnotemark", '\0' },
  242.         { 12, "footnoterule", '\0' },
  243.         { 11, "footnotesep", '\0' },
  244.         { 12, "footnotesize", '\0' },
  245.         { 12, "footnotetext", '\0' },
  246.         { 8, "footskip", '\0' },
  247.         { 9, "footstrut", '\0' },
  248.         { 6, "forall", '1' },
  249.         { 4, "frac", '1' },
  250.         { 5, "frame", '\0' },
  251.         { 8, "framebox", '\0' },
  252.         { 13, "frenchspacing", '\0' },
  253.         { 5, "frown", '1' },
  254.         { 5, "fussy", '\0' },
  255.         { 5, "gamma", '1' },
  256.         { 3, "gcd", '1' },
  257.         { 3, "geq", '1' },
  258.         { 2, "gg", '1' },
  259.         { 8, "glossary", '\0' },
  260.         { 13, "glossaryentry", '\0' },
  261.         { 5, "grave", '1' },
  262.         { 3, "hat", '1' },
  263.         { 4, "hbar", '1' },
  264.         { 4, "hbox", '\0' },
  265.         { 10, "headheight", '\0' },
  266.         { 8, "headline", '\0' },
  267.         { 7, "headsep", '\0' },
  268.         { 9, "heartsuit", '1' },
  269.         { 5, "hfill", '\0' },
  270.         { 5, "hline", '\0' },
  271.         { 3, "hom", '1' },
  272.         { 13, "hookleftarrow", '1' },
  273.         { 14, "hookrightarrow", '1' },
  274.         { 9, "hrulefill", '\0' },
  275.         { 6, "hspace", '\0' },
  276.         { 7, "hspace*", '\0' },
  277.         { 4, "huge", '\0' },
  278.         { 11, "hyphenation", '\0' },
  279.         { 1, "i", '\0' },
  280.         { 5, "imath", '1' },
  281.         { 2, "in", '1' },
  282.         { 7, "include", '\0' },
  283.         { 11, "includeonly", '\0' },
  284.         { 6, "indent", '\0' },
  285.         { 5, "index", '\0' },
  286.         { 10, "indexentry", '\0' },
  287.         { 10, "indexspace", '\0' },
  288.         { 3, "inf", '1' },
  289.         { 5, "infty", '1' },
  290.         { 5, "input", '\0' },
  291.         { 3, "int", '1' },
  292.         { 9, "intextsep", '\0' },
  293.         { 9, "invisible", '\0' },
  294.         { 4, "iota", '1' },
  295.         { 2, "it", '\0' },
  296.         { 4, "item", '\0' },
  297.         { 10, "itemindent", '\0' },
  298.         { 7, "itemsep", '\0' },
  299.         { 1, "j", '\0' },
  300.         { 5, "jmath", '1' },
  301.         { 3, "jot", '\0' },
  302.         { 5, "kappa", '1' },
  303.         { 3, "ker", '1' },
  304.         { 4, "kill", '\0' },
  305.         { 1, "l", '\0' },
  306.         { 5, "label", '\0' },
  307.         { 10, "labelitemi", '\0' },
  308.         { 8, "labelsep", '\0' },
  309.         { 10, "labelwidth", '\0' },
  310.         { 6, "lambda", '1' },
  311.         { 6, "langle", '1' },
  312.         { 5, "large", '\0' },
  313.         { 5, "lceil", '1' },
  314.         { 5, "ldots", '1' },
  315.         { 7, "leadsto", '1' },
  316.         { 4, "left", '1' },
  317.         { 9, "leftarrow", '1' },
  318.         { 7, "lefteqn", '1' },
  319.         { 15, "leftharpoondown", '1' },
  320.         { 13, "leftharpoonup", '1' },
  321.         { 10, "leftmargin", '\0' },
  322.         { 11, "leftmargini", '\0' },
  323.         { 12, "leftmarginii", '\0' },
  324.         { 13, "leftmarginiii", '\0' },
  325.         { 12, "leftmarginiv", '\0' },
  326.         { 11, "leftmarginv", '\0' },
  327.         { 12, "leftmarginvi", '\0' },
  328.         { 14, "leftrightarrow", '1' },
  329.         { 3, "leq", '1' },
  330.         { 10, "leqalignno", '\0' },
  331.         { 6, "lfloor", '1' },
  332.         { 2, "lg", '1' },
  333.         { 3, "lhd", '1' },
  334.         { 3, "lim", '1' },
  335.         { 6, "liminf", '1' },
  336.         { 6, "limsup", '1' },
  337.         { 4, "line", '\0' },
  338.         { 9, "linebreak", '\0' },
  339.         { 13, "linethickness", '\0' },
  340.         { 9, "linewidth", '\0' },
  341.         { 13, "listoffigures", '\0' },
  342.         { 12, "listoftables", '\0' },
  343.         { 13, "listparindent", '\0' },
  344.         { 2, "ll", '1' },
  345.         { 2, "ln", '1' },
  346.         { 4, "load", '\0' },
  347.         { 3, "log", '1' },
  348.         { 13, "longleftarrow", '1' },
  349.         { 18, "longleftrightarrow", '1' },
  350.         { 10, "longmapsto", '1' },
  351.         { 14, "longrightarrow", '1' },
  352.         { 13, "magnification", '\0' },
  353.         { 7, "makebox", '\0' },
  354.         { 12, "makefootline", '\0' },
  355.         { 12, "makeglossary", '\0' },
  356.         { 12, "makeheadline", '\0' },
  357.         { 9, "makeindex", '\0' },
  358.         { 9, "makelabel", '\0' },
  359.         { 10, "makelabels", '\0' },
  360.         { 9, "maketitle", '\0' },
  361.         { 6, "mapsto", '1' },
  362.         { 9, "marginpar", '\0' },
  363.         { 13, "marginparpush", '\0' },
  364.         { 12, "marginparsep", '\0' },
  365.         { 14, "marginparwidth", '\0' },
  366.         { 8, "markboth", '\0' },
  367.         { 9, "markright", '\0' },
  368.         { 10, "mathindent", '\0' },
  369.         { 3, "max", '1' },
  370.         { 4, "mbox", '\0' },
  371.         { 7, "medskip", '\0' },
  372.         { 13, "medskipamount", '\0' },
  373.         { 3, "mho", '1' },
  374.         { 3, "mid", '1' },
  375.         { 9, "midinsert", '\0' },
  376.         { 3, "min", '1' },
  377.         { 3, "mit", '1' },
  378.         { 6, "models", '1' },
  379.         { 2, "mp", '1' },
  380.         { 2, "mu", '1' },
  381.         { 11, "multicolumn", '\0' },
  382.         { 8, "multiput", '\0' },
  383.         { 5, "nabla", '1' },
  384.         { 7, "natural", '1' },
  385.         { 7, "nearrow", '1' },
  386.         { 3, "neg", '1' },
  387.         { 3, "neq", '1' },
  388.         { 10, "newcommand", '\0' },
  389.         { 10, "newcounter", '\0' },
  390.         { 14, "newenvironment", '\0' },
  391.         { 7, "newfont", '\0' },
  392.         { 9, "newlength", '\0' },
  393.         { 7, "newline", '\0' },
  394.         { 7, "newpage", '\0' },
  395.         { 10, "newsavebox", '\0' },
  396.         { 10, "newtheorem", '\0' },
  397.         { 2, "ni", '1' },
  398.         { 6, "nocite", '\0' },
  399.         { 7, "nofiles", '\0' },
  400.         { 8, "noindent", '\0' },
  401.         { 11, "nolinebreak", '\0' },
  402.         { 16, "nonfrenchspacing", '\0' },
  403.         { 8, "nonumber", '\0' },
  404.         { 11, "nopagebreak", '\0' },
  405.         { 13, "nopagenumbers", '\0' },
  406.         { 12, "normalbottom", '\0' },
  407.         { 15, "normalmarginpar", '\0' },
  408.         { 10, "normalsize", '\0' },
  409.         { 3, "not", '1' },
  410.         { 2, "nu", '1' },
  411.         { 10, "numberline", '\0' },
  412.         { 7, "nwarrow", '1' },
  413.         { 1, "o", '1' },
  414.         { 13, "oddsidemargin", '\0' },
  415.         { 4, "odot", '1' },
  416.         { 2, "oe", '\0' },
  417.         { 4, "oint", '1' },
  418.         { 8, "oldstyle", '\0' },
  419.         { 5, "omega", '1' },
  420.         { 6, "ominus", '1' },
  421.         { 9, "onecolumn", '\0' },
  422.         { 9, "onlynotes", '\0' },
  423.         { 10, "onlyslides", '\0' },
  424.         { 7, "opening", '\0' },
  425.         { 5, "oplus", '\0' },
  426.         { 6, "oslash", '1' },
  427.         { 6, "otimes", '1' },
  428.         { 6, "output", '\0' },
  429.         { 4, "oval", '\0' },
  430.         { 9, "overbrace", '\0' },
  431.         { 8, "overline", '\0' },
  432.         { 8, "pagebody", '\0' },
  433.         { 9, "pagebreak", '\0' },
  434.         { 12, "pagecontents", '\0' },
  435.         { 10, "pageinsert", '\0' },
  436.         { 6, "pageno", '\0' },
  437.         { 13, "pagenumbering", '\0' },
  438.         { 7, "pageref", '\0' },
  439.         { 9, "pagestyle", '\0' },
  440.         { 3, "par", '\0' },
  441.         { 9, "paragraph", '\0' },
  442.         { 8, "parallel", '1' },
  443.         { 6, "parbox", '\0' },
  444.         { 9, "parindent", '\0' },
  445.         { 6, "parsep", '\0' },
  446.         { 7, "parskip", '\0' },
  447.         { 4, "part", '\0' },
  448.         { 7, "partial", '1' },
  449.         { 9, "partopsep", '\0' },
  450.         { 4, "perp", '1' },
  451.         { 3, "phi", '1' },
  452.         { 2, "pi", '1' },
  453.         { 11, "plainoutput", '\0' },
  454.         { 2, "pm", '1' },
  455.         { 4, "pmod", '1' },
  456.         { 7, "poptabs", '\0' },
  457.         { 6, "pounds", '\0' },
  458.         { 4, "prec", '1' },
  459.         { 6, "preceq", '1' },
  460.         { 5, "prime", '1' },
  461.         { 4, "prod", '1' },
  462.         { 6, "propto", '1' },
  463.         { 7, "protect", '\0' },
  464.         { 2, "ps", '\0' },
  465.         { 3, "psi", '1' },
  466.         { 8, "pushtabs", '\0' },
  467.         { 3, "put", '\0' },
  468.         { 12, "raggedbottom", '\0' },
  469.         { 12, "raggedbottom", '\0' },
  470.         { 10, "raggedleft", '\0' },
  471.         { 11, "raggedright", '\0' },
  472.         { 8, "raisebox", '\0' },
  473.         { 6, "rangle", '1' },
  474.         { 5, "rceil", '1' },
  475.         { 3, "ref", '\0' },
  476.         { 14, "refstepcounter", '\0' },
  477.         { 12, "renewcommand", '\0' },
  478.         { 16, "renewenvironment", '\0' },
  479.         { 16, "reversemarginpar", '\0' },
  480.         { 6, "rfloor", '1' },
  481.         { 3, "rhd", '1' },
  482.         { 3, "rho", '1' },
  483.         { 5, "right", '1' },
  484.         { 10, "rightarrow", '1' },
  485.         { 16, "rightharpoondown", '1' },
  486.         { 14, "rightharpoonup", '1' },
  487.         { 17, "rightleftharpoons", '1' },
  488.         { 11, "rightmargin", '\0' },
  489.         { 2, "rm", '\0' },
  490.         { 5, "roman", '\0' },
  491.         { 4, "rule", '\0' },
  492.         { 8, "samepage", '\0' },
  493.         { 7, "savebox", '\0' },
  494.         { 4, "sbox", '\0' },
  495.         { 2, "sc", '\0' },
  496.         { 10, "scriptfont", '\0' },
  497.         { 16, "scriptscriptfont", '\0' },
  498.         { 17, "scriptscriptstyle", '1' },
  499.         { 10, "scriptsize", '\0' },
  500.         { 11, "scriptstyle", '1' },
  501.         { 7, "searrow", '1' },
  502.         { 3, "sec", '1' },
  503.         { 7, "section", '\0' },
  504.         { 10, "setcounter", '\0' },
  505.         { 9, "setlength", '\0' },
  506.         { 8, "setminus", '1' },
  507.         { 7, "settabs", '\0' },
  508.         { 10, "settowidth", '\0' },
  509.         { 7, "sevenbf", '\0' },
  510.         { 6, "seveni", '\0' },
  511.         { 7, "sevensy", '\0' },
  512.         { 2, "sf", '\0' },
  513.         { 5, "sharp", '1' },
  514.         { 10, "shortstack", '\0' },
  515.         { 5, "sigma", '1' },
  516.         { 9, "signature", '\0' },
  517.         { 9, "signature", '\0' },
  518.         { 3, "sim", '1' },
  519.         { 5, "simeq", '1' },
  520.         { 3, "sin", '1' },
  521.         { 4, "sinh", '1' },
  522.         { 2, "sl", '\0' },
  523.         { 6, "sloppy", '\0' },
  524.         { 5, "small", '\0' },
  525.         { 9, "smallskip", '\0' },
  526.         { 15, "smallskipamount", '\0' },
  527.         { 5, "smile", '\0' },
  528.         { 5, "space", '\0' },
  529.         { 9, "spadesuit", '1' },
  530.         { 5, "sqcap", '1' },
  531.         { 5, "sqcup", '1' },
  532.         { 4, "sqrt", '1' },
  533.         { 8, "sqsubset", '1' },
  534.         { 10, "sqsubseteq", '1' },
  535.         { 8, "sqsupset", '1' },
  536.         { 10, "sqsupseteq", '1' },
  537.         { 2, "ss", '\0' },
  538.         { 8, "stackrel", '1' },
  539.         { 4, "star", '1' },
  540.         { 11, "stepcounter", '\0' },
  541.         { 4, "stop", '\0' },
  542.         { 7, "stretch", '\0' },
  543.         { 7, "subitem", '\0' },
  544.         { 12, "subparagraph", '\0' },
  545.         { 10, "subsection", '\0' },
  546.         { 6, "subset", '1' },
  547.         { 8, "subseteq", '1' },
  548.         { 10, "subsubitem", '\0' },
  549.         { 13, "subsubsection", '\0' },
  550.         { 4, "succ", '1' },
  551.         { 6, "succeq", '1' },
  552.         { 3, "sum", '1' },
  553.         { 3, "sup", '1' },
  554.         { 6, "supset", '1' },
  555.         { 8, "supseteq", '1' },
  556.         { 4, "surd", '1' },
  557.         { 7, "swarrow", '1' },
  558.         { 6, "symbol", '\0' },
  559.         { 1, "t", '\0' },
  560.         { 8, "tabalign", '\0' },
  561.         { 10, "tabbingsep", '\0' },
  562.         { 9, "tabcolsep", '\0' },
  563.         { 15, "tableofcontents", '\0' },
  564.         { 4, "tabs", '\0' },
  565.         { 8, "tabsdone", '\0' },
  566.         { 6, "tabset", '\0' },
  567.         { 3, "tan", '1' },
  568.         { 4, "tanh", '1' },
  569.         { 3, "tau", '1' },
  570.         { 4, "teni", '\0' },
  571.         { 12, "textfloatsep", '\0' },
  572.         { 8, "textfont", '\0' },
  573.         { 12, "textfraction", '\0' },
  574.         { 10, "textheight", '\0' },
  575.         { 9, "textstyle", '1' },
  576.         { 9, "textwidth", '\0' },
  577.         { 6, "thanks", '\0' },
  578.         { 3, "the", '\0' },
  579.         { 7, "thepage", '\0' },
  580.         { 5, "theta", '1' },
  581.         { 10, "thicklines", '\0' },
  582.         { 9, "thinlines", '\0' },
  583.         { 13, "thispagestyle", '\0' },
  584.         { 5, "tilde", '1' },
  585.         { 5, "times", '1' },
  586.         { 4, "tiny", '\0' },
  587.         { 5, "title", '\0' },
  588.         { 5, "title", '\0' },
  589.         { 5, "today", '\0' },
  590.         { 3, "top", '1' },
  591.         { 11, "topfraction", '\0' },
  592.         { 6, "topins", '\0' },
  593.         { 9, "topinsert", '\0' },
  594.         { 9, "topmargin", '\0' },
  595.         { 6, "topsep", '\0' },
  596.         { 7, "topskip", '\0' },
  597.         { 8, "triangle", '1' },
  598.         { 12, "triangleleft", '1' },
  599.         { 13, "triangleright", '1' },
  600.         { 2, "tt", '\0' },
  601.         { 9, "twocolumn", '\0' },
  602.         { 6, "typein", '\0' },
  603.         { 7, "typeout", '\0' },
  604.         { 1, "u", '\0' },
  605.         { 10, "unboldmath", '\0' },
  606.         { 10, "underbrace", '\0' },
  607.         { 9, "underline", '\0' },
  608.         { 10, "unitlength", '\0' },
  609.         { 5, "unlhd", '1' },
  610.         { 5, "unrhd", '1' },
  611.         { 7, "uparrow", '1' },
  612.         { 11, "updownarrow", '1' },
  613.         { 5, "uplus", '1' },
  614.         { 7, "upsilon", '1' },
  615.         { 6, "usebox", '\0' },
  616.         { 10, "usecounter", '\0' },
  617.         { 1, "v", '\0' },
  618.         { 5, "value", '\0' },
  619.         { 10, "varepsilon", '1' },
  620.         { 6, "varphi", '1' },
  621.         { 5, "varpi", '1' },
  622.         { 6, "varrho", '1' },
  623.         { 8, "varsigma", '1' },
  624.         { 8, "vartheta", '1' },
  625.         { 4, "vbox", '\0' },
  626.         { 5, "vdash", '1' },
  627.         { 5, "vdots", '1' },
  628.         { 3, "vec", '1' },
  629.         { 6, "vector", '\0' },
  630.         { 3, "vee", '1' },
  631.         { 4, "verb", '\0' },
  632.         { 5, "verb*", '\0' },
  633.         { 5, "vfill", '\0' },
  634.         { 9, "vfootnote", '\0' },
  635.         { 5, "vline", '\0' },
  636.         { 6, "vspace", '\0' },
  637.         { 7, "vspace*", '\0' },
  638.         { 5, "wedge", '1' },
  639.         { 7, "widehat", '1' },
  640.         { 9, "widetilde", '1' },
  641.         { 2, "wp", '1' },
  642.         { 2, "wr", '1' },
  643.         { 2, "xi", '1' },
  644.         { 4, "zeta", '1' },
  645.         { 1, "{", '\0' },
  646.         { 1, "|", '1' },
  647.         { 1, "}", '\0' },
  648.         { 1, "~", '\0' }
  649.  
  650.    };
  651.  
  652.  
  653. char *Math_Environments[] = {   
  654.    
  655.      "math",
  656.      "displaymath",
  657.      "equation",
  658.      "eqnarray",
  659.      "eqnarray*",
  660.      0
  661.  
  662.   };
  663.    
  664.  
  665. int is_math_environment (keyword) char *keyword;  
  666. {
  667.   char **mathenvs = Math_Environments;
  668.   while (*mathenvs != 0) {
  669.     if (0 == strcmp(*mathenvs,keyword)) return(1);
  670.     mathenvs++;
  671.   }
  672.   return(0);
  673. }
  674.  
  675.   
  676. int command_lookup (command) char *command;
  677.  
  678. {
  679.   int head = 0;
  680.   int tail = COMMAND_TABLE_SIZE - 1;
  681.   int mid,result;
  682.         
  683.   while (head <= tail) {
  684.     mid = head + (tail - head) / 2;
  685.     result = strcmp(command,Command_Table[mid].cmd);
  686.     if (result > 0)
  687.        head = mid + 1;
  688.     else if (result < 0)
  689.        tail = mid - 1;
  690.     else
  691.        return(mid);
  692.   }
  693.   return(NOT_FOUND);
  694. }
  695.   
  696.