
(command 0
  (\  - / ~ [ ] : \; , ! * | i j ss SS oe OE ae AE
   quad qquad par smallskip medskip bigskip nopagebreak
   newblock bgroup egroup protect cr date hfill appendix nolimits

   ;; temporarily
   hline))

(control 0
  ($ & % # _ { } <less> <gtr>))

(command 1
  (usepackage chapter chapter*
   section section* subsection subsection* subsubsection subsubsection*
   paragraph paragraph* subparagraph subparagraph*
   footnote overline underline <sub> <sup> not left right
   big Big bigg Bigg bigl Bigl biggl Biggl
   bigm Bigm biggm Biggm bigr Bigr biggr Biggr
   bar hat tilde widehat widetilde vec grave acute check breve
   dot ddot dddot ddddot
   label ref pageref index hspace hspace* vspace vspace*
   mbox text not \' ` ^ over \" ~ = . u v H t c d b
   thispagestyle mathop mathrel
   arabic))

(command -1
  (item \\))

(command 2
  (sideset stackrel citeauthoryear setcounter equal))

(command -2
  (documentclass documentstyle sqrt bibitem cite))

(command 3
  (ifthenelse))

(command -3
  (def newcommand renewcommand frac))

(command -4
  (newenvironment renewenvironment))

(modifier 0
  (rm tt sf md bf it em sl sc rmfamily ttfamily sffamily
   mdseries bfseries upshape itshape slshape scshape
   displaystyle textstyle scriptstyle scriptscriptstyle cal frak Bbb
   tiny scriptsize footnotesize small normalsize
   large Large LARGE huge Huge
   black white grey red blue yellow green orange magenta brown pink))

(modifier 1
  (textrm texttt textsf textmd textbf textup textit textsl textsc emph
   mathrm mathtt mathsf mathmd mathbf mathup mathit mathsl mathnormal
   mathcal mathfrak mathbb operatorname))

(operator 0
  (arccos arcsin arctan arg cos cosh cot coth csc deg det dim exp gcd hom
   inf ker lg lim liminf limsup ln log max min Pr sec sin sinh sup tan tanh))

(list 0
  (begin-itemize begin-itemizeminus begin-itemizedot begin-itemizearrow
   begin-enumerate begin-enumeratenumeric begin-enumerateroman
   begin-enumerateromancap begin-enumeratealpha begin-enumeratealphacap
   begin-description))

(environment 0
  (begin-document begin-abstract begin-definition
   begin-theorem begin-proposition begin-lemma begin-corollary
   begin-proof begin-definition begin-axiom
   begin-remark begin-warning begin-note
   begin-example begin-exercise begin-verbatim
   begin-matrix begin-pmatrix begin-center))

(environment 1
  (begin-tabbing) (begin-thebibliography))

(environment -1
  (begin-figure))

(environment -2
  (begin-array begin-tabular
   begin-figure))

(math-environment 0
  (begin-formula begin-equation*
   begin-math begin-displaymath begin-equation
   begin-eqnarray begin-eqnarray*
   begin-align begin-align*
   begin-gather begin-gather*
   begin-eqsplit begin-eqsplit*))

(texmacs 0
  (TeXmacs tmbsl tmdummy))

(texmacs 1
  (tmmathbf tmop tmstrong tmem tmtt tmname
   tmsamp tmabbr tmdfn tmkbd tmvar tmacronym tmperson tmscript))

(texmacs 2
  (tmhlink tmaction))

(symbol 0
  (;; Greek letters
   Gamma Delta Theta Lambda Xi Pi Sigma Upsilon Phi Psi Omega
   alpha beta gamma delta epsilon
   varepsilon zeta eta theta vartheta
   iota kappa lambda mu nu
   xi pi varpi rho
   varrho sigma varsigma tau upsilon
   phi varphi chi psi omega

   ;; Binary operations
   pm mp times div ast star circ bullet cdot
   cap cup uplus sqcap sqcup vee wedge setminus wr
   diamond bigtriangleup bigtriangledown triangleleft triangleright
   oplus ominus otimes oslash odot bigcirc dagger ddagger amalg

   ;; Binary operations (latexsym or amssymb required)
   lhd rhd unlhd unrhd
      
   ;; Relations
   leq le geq ge equiv models prec
   succ sim perp preceq succeq
   simeq mid ll gg asymp
   parallel subset supset approx bowtie
   subseteq supseteq cong Join sqsubset
   sqsupset neq smile sqsubseteq sqsupseteq
   doteq frown in ni propto
   vdash dashv

   ;; Arrows
   leftarrow rightarrow uparrow downarrow
   Leftarrow Rightarrow Uparrow Downarrow
   nearrow searrow swarrow nwarrow
   leftrightarrow updownarrow Updownarrow Leftrightarrow 
   leftharpoonup leftharpoondown rightharpoonup rightharpoondown
   hookleftarrow hookrightarrow
   to mapsto longmapsto
   longrightarrow longleftarrow longleftrightarrow
   Longrightarrow Longleftarrow Longleftrightarrow 

   ;; Miscellaneous symbols
   ldots cdots vdots ddots aleph
   prime forall infty hbar emptyset
   exists nabla surd triangle
   imath jmath ell neg
   top flat natural sharp wp
   bot clubsuit diamondsuit heartsuit spadesuit
   Re Im angle partial

   ;; Miscellaneous symbols (amssymb or latexsym required)
   Box Diamond mho

   ;; Delimiters
   uparrow Uparrow downarrow Downarrow
   updownarrow Updownarrow
   lfloor rfloor lceil rceil
   langle rangle backslash

   ;; Big delimiters
   rmoustache lmoustache rgroup lgroup
   arrowvert Arrowvert bracevert

   ;; AMS symbols (amssymb required)
   digamma varkappa beth daleth gimel
   
   ;; AMS delimiters (amssymb required)
   ulcorner urcorner llcorner lrcorner

   ;; AMS arrows (amssymb required)
   dashrightarrow dashleftarrow leftleftarrows leftrightarrows
   Lleftarrow twoheadleftarrow leftarrowtail looparrowleft
   leftrightharpoons curvearrowleft circlearrowleft Lsh
   upuparrows upharpoonleft downharpoonleft multimap
   leftrightsquigarrow rightrightarrows
   rightleftarrows leftrightarrows
   twoheadrightarrow rightarrowtail looparrowright rightleftharpoons
   curvearrowright circlearrowright Rsh downdownarrows
   upharpoonright downharpoonright rightsquigarrow

   ;; AMS arrows (amssymb required)
   nleftarrow nrightarrow nLeftarrow
   nRightarrow nleftrightarrow nLeftrightarrow

   ;; AMS binary relations (amssymb required)
   leqq lesssim lessdot lesseqgtr risingdotseq backsimeq sqsubset
   precsim trianglelefteq smallsmile Bumpeq eqslantgtr gtrdot gtreqless
   circeq thickapprox sqsupset succsim trianglerighteq shortparallel
   varpropto backepsilon leqslant lessapprox lll lesseqqgtr fallingdotseq
   subseteqq preccurlyeq precapprox vDash models smallfrown geqq gtrsim
   ggg gtreqqless triangleq supseteqq succcurlyeq succapprox Vdash
   between blacktriangleleft blacktriangleright eqslantless approxeq
   lessgtr doteqdot backsim Subset curlyeqprec vartriangleleft Vvdash
   bumpeq geqslant gtrapprox gtrless eqcirc thicksim Supset curlyeqsucc
   vartriangleright shortmid pitchfork therefore because

   ;; AMS negativ binary relations (amssymb required)
   nless nleqq lvertneqq nprec precnapprox nmid ntriangleleft subsetneq
   varsubsetneqq ngeqslant gneqq gnapprox succnsim nshortparallel nVDash
   nsupseteq varsupsetneq
   nleq lneq lnsim npreceq nsim nvdash ntrianglelefteq varsubsetneq ngtr
   ngeqq gvertneqq nsucc succnapprox nparallel ntriangleright nsupseteqq
   supsetneqq
   nleqslant lneqq lnapprox precnsim nshortmid nvDash nsubseteq subsetneqq
   ngeq gneq gnsim nsucceq ncong nvDash ntrianglerighteq supsetneq
   varsupsetneqq

   ;; AMS binary operators (amssymb required)
   dotplus Cup doublebarwedge boxdot ltimes rightthreetimes circleddash
   centerdot smallsetminus barwedge boxminus boxplus rtimes curlywedge
   circledast intercal Cap veebar boxtimes divideontimes leftthreetimes
   curlyvee circledcirc

   ;; AMS miscellaneous symbols (amssymb required)
   hbar triangledown circledS nexists Game varnothing blacksquare
   sphericalangle diagup hslash square angle mho Bbbk blacktriangle
   blacklozenge complement diagdown vartriangle lozenge measuredangle Finv
   backprime blacktriangledown bigstar eth

   ;; TeXmacs specific symbols
   mathd mathe mathi mathpi
   nin udots
   um trianglelefteqslant trianglerighteqslant))

(big-symbol 0
  (sum int bigintwl oint bigointwl prod coprod
   bignone bigtimes bigoplus bigotimes bigodot
   bigvee bigwedge bigsqcup bigcup bigcap bigpluscup bigtriangledown
   bigtriangleup bigcurlyvee bigcurlywedge bigsqcap bigbox bigparallel
   biginterleave bignplus bigvarint bigiint bigiiint bigvaroint bigoiint))
