<TeXmacs|1.0.7.15>

<style|article>

<\body>
  <\math>
    \<nsqsubset\> \<nsqsupset\> \<nll\> \<ngg\> \<nlll\> \<nggg\>
    \<nleqslant\> \<ngeqslant\> \<npreceq\> \<nsucceq\> \<nleqq\> \<ngeqq\>
    \<nsubseteqq\> \<nsupseteqq\> \<lvertneqq\> \<gvertneqq\>
    \<varsubsetneq\> \<varsupsetneq\> \<varsubsetneqq\> \<varsupsetneqq\>
    \<less\> \<gtr\> \ \<cent\> \ \<currency\> \<yen\> \<brokenvert\>
    \ \<ordfeminine\> \ \<neg\> \<hyphen\> \<circledR\> \ \<pm\>
    \<twosuperior\> \<threesuperior\> \<mu\> \<paragraph\> \<centerdot\>
    \<onesuperior\> \<masculine\> \ \<onequarter\> \<onehalf\>
    \<threequarters\> \<times\> \<div\> \<nbhyph\>
  </math>

  <\math>
    \<dagger\> \<ddagger\> \<bullet\> \<ldots\> \<prime\> \<backprime\>
    \<nospace\> \<notimes\> \<nocomma\> \<noplus\> \<bbb-C\> \<cal-g\>
    \<cal-H\> \<frak-H\> \<bbb-H\> \<hslash\> \<cal-I\> \<frak-I\> \<cal-L\>
    \<ell\> \<bbb-N\> \<wp\> \<bbb-P\> \<bbb-Q\> \<cal-R\> \<frak-R\>
    \<bbb-R\> \<trademark\> \<bbb-Z\> \<Mho\> \<frak-Z\> \<cal-B\> \<frak-C\>
    \<cal-e\> \<cal-E\> \<cal-F\> \<cal-M\> \<cal-o\> \<aleph\> \<beth\>
    \<gimel\> \<daleth\> \<mathpi*\> \<leftarrow\> \<uparrow\> \<rightarrow\>
    \<downarrow\> \<leftrightarrow\> \<updownarrow\> \<nwarrow\> \<nearrow\>
    \<searrow\> \<swarrow\> \<nleftarrow\> \<nrightarrow\> \<leftsquigarrow\>
    \<rightsquigarrow\> \<twoheadleftarrow\> \<twoheadrightarrow\>
    \<leftarrowtail\> \<rightarrowtail\> \<mapsfrom\> \<mapsto\>
  </math>

  <\math>
    \<hookleftarrow\> \<hookrightarrow\> \<looparrowleft\> \<looparrowright\>
    \<leftrightsquigarrow\> \<nleftrightarrow\> \<lightning\> \<Lsh\> \<Rsh\>
    \<curvearrowleft\> \<curvearrowright\> \<circlearrowleft\>
    \<circlearrowright\> \<leftharpoonup\> \<leftharpoondown\>
    \<upharpoonright\> \<upharpoonleft\> \<rightharpoonup\>
    \<rightharpoondown\> \<downharpoonright\> \<downharpoonleft\>
    \<rightleftarrows\> \<leftrightarrows\> \<leftleftarrows\> \<upuparrows\>
    \<rightrightarrows\> \<downdownarrows\> \<leftrightharpoons\>
    \<rightleftharpoons\> \<nLeftarrow\> \<nLeftrightarrow\> \<nRightarrow\>
    \<Leftarrow\> \<Uparrow\> \<Rightarrow\> \<Downarrow\> \<Leftrightarrow\>
    \<Updownarrow\> \<Lleftarrow\> \<Rrightarrow\> \<leftarrowtriangle\>
  </math>

  <\math>
    \<rightarrowtriangle\> \<leftrightarrowtriangle\> \<longleftarrow\>
    \<longrightarrow\> \<longleftrightarrow\> \<Longleftarrow\>
    \<Longrightarrow\> \<Longleftrightarrow\> \<longmapsfrom\> \<longmapsto\>
    \<forall\> \<complement\> \<partial\> \<exists\> \<nexists\> \<emptyset\>
    \<nabla\> \<in\> \<nin\> \<ni\> \<nni\> \<big-prod\> \<big-amalg\>
    \<big-sum\> \<minus\> \<mp\> \<dotplus\> \<setminus\> \<ast\> \<circ\>
    \<sqrt\> \<propto\> \<infty\> \<angle\> \<measuredangle\>
    \<sphericalangle\> \<mid\> \<nmid\> \<parallel\> \<nparallel\> \<wedge\>
    \<vee\> \<cap\> \<cup\> \<big-int\> \<big-oint\> \<therefore\>
    \<because\> \<sim\> \<backsim\> \<wr\> \<nsim\> \<eqsim\> \<simeq\>
    \<nsimeq\> \<cong\> \<ncong\> \<approx\> \<napprox\> \<approxeq\>
    \<asymp\> \<Bumpeq\>
  </math>

  <\math>
    \<bumpeq\> \<doteq\> \<doteqdot\> \<fallingdoteq\> \<risingdoteq\>
    \<assign\> \<eqcirc\> \<circeq\> \<triangleq\> \<neq\> \<equiv\>
    \<nequiv\> \<leq\> \<geq\> \<leqq\> \<geqq\> \<lneqq\> \<gneqq\> \<ll\>
    \<gg\> \<between\> \<nasymp\> \<nless\> \<ngtr\> \<nleq\> \<ngeq\>
    \<lesssim\> \<gtrsim\> \<lessgtr\> \<gtrless\> \<prec\> \<succ\>
    \<preccurlyeq\> \<succcurlyeq\> \<precsim\> \<succsim\> \<nprec\>
    \<nsucc\> \<subset\> \<supset\> \<nsubset\> \<nsupset\> \<subseteq\>
    \<supseteq\> \<nsubseteq\> \<nsupseteq\> \<subsetneq\> \<supsetneq\>
    \<uplus\> \<sqsubset\> \<sqsupset\> \<sqsubseteq\> \<sqsupseteq\>
    \<sqcap\> \<sqcup\> \<varoplus\> \<varominus\> \<varotimes\>
    \<varoslash\> \<varodot\> \<varocircle\> \<varoast\> \<circleddash\>
    \<boxplus\> \<boxminus\> \<boxtimes\>
  </math>

  <\math>
    \<boxdot\> \<vdash\> \<dashv\> \<top\> \<bot\> \<models\> \<vDash\>
    \<Vdash\> \<Vvdash\> \<nvdash\> \<nvDash\> \<nVdash\> \<nVDash\>
    \<vartriangleleft\> \<vartriangleright\> \<trianglelefteq\>
    \<trianglerighteq\> \<multimap\> \<intercal\> \<veebar\> \<big-wedge\>
    \<big-vee\> \<big-cap\> \<big-cup\> \<diamond\> \<cdot\> \<star\>
    \<divideontimes\> \<join\> \<ltimes\> \<rtimes\> \<leftthreetimes\>
    \<rightthreetimes\> \<backsimeq\> \<curlyvee\> \<curlywedge\> \<Subset\>
    \<Supset\> \<Cap\> \<Cup\> \<pitchfork\> \<lessdot\> \<gtrdot\> \<lll\>
    \<ggg\> \<lesseqgtr\> \<gtreqless\> \<curlyeqprec\> \<curlyeqsucc\>
    \<npreccurlyeq\> \<nsucccurlyeq\> \<nsqsubseteq\> \<nsqsupseteq\>
    \<lnsim\> \<gnsim\> \<precnsim\> \<succnsim\> \<ntriangleleft\>
    \<ntriangleright\>
  </math>

  <\math>
    \<ntrianglelefteq\> \<ntrianglerighteq\> \<vdots\> \<cdots\> \<udots\>
    \<ddots\> \<diameter\> \<barwedge\> \<doublebarwedge\> \<lceil\>
    \<rceil\> \<lfloor\> \<rfloor\> \<invneg\> \<recorder\> \<ulcorner\>
    \<urcorner\> \<llcorner\> \<lrcorner\> \<frown\> \<smile\> \<talloblong\>
    \<APLleftarrowbox\> \<APLrightarrowbox\> \<APLuparrowbox\>
    \<APLdownarrowbox\> \<APLinput\> \<APLbox\> \<circledS\> \<blacksquare\>
    \<Square\> \<oblong\> \<bigtriangleup\> \<blacktriangle\> \<vartriangle\>
    \<blacktriangleright\> \<triangleright\> \<bigtriangledown\>
    \<blacktriangledown\> \<triangledown\> \<blacktriangleleft\>
    \<triangleleft\> \<wasyDiamond\> \<lozenge\> \<Circle\> \<CIRCLE\>
    \<LEFTcircle\> \<RIGHTcircle\> \<LEFTCIRCLE\> \<RIGHTCIRCLE\>
  </math>

  <\math>
    \<varbigcirc\> \<square\> \<bigstar\> \<astrosun\> \<ascnode\>
    \<descnode\> \<conjunction\> \<opposition\> \<phone\> \<wasyBox\>
    \<XBox\> \<CheckedBox\> \<frownie\> \<smiley\> \<blacksmiley\> \<sun\>
    \<rightmoon\> \<leftmoon\> \<mercury\> \<female\> \<earth\> \<male\>
    \<jupiter\> \<saturn\> \<uranus\> \<neptune\> \<pluto\> \<aries\>
    \<taurus\> \<gemini\> \<cancer\> \<leo\> \<virgo\> \<libra\> \<scorpio\>
    \<sagittarius\> \<capricornus\> \<aquarius\> \<pisces\> \<spadesuit\>
    \<clubsuit\> \<heartsuit\> \<diamondsuit\> \<quarternote\> \<eighthnote\>
    \<twonotes\> \<flat\> \<natural\> \<sharp\> \<checkmark\> \<maltese\>
    \<leftturn\> \<rightturn\> \<llbracket\> \<rrbracket\> \<langle\>
    \<rangle\> \<llangle\>
  </math>

  <\math>
    \<rrangle\> \<llparenthesis\> \<rrparenthesis\> \<minuso\> \<varobar\>
    \<varobslash\> \<boxslash\> \<boxbslash\> \<boxast\> \<boxcircle\>
    \<boxbox\> \<blacklozenge\> \<big-odot\> \<big-oplus\> \<big-otimes\>
    \<big-pluscup\> \<big-sqcap\> \<big-sqcup\> \<merge\> \<Bowtie\>
    \<amalg\> \<leqslant\> \<geqslant\> \<lessapprox\> \<gtrapprox\> \<lneq\>
    \<gneq\> \<lnapprox\> \<gnapprox\> \<lesseqqgtr\> \<gtreqqless\>
    \<eqslantless\> \<eqslantgtr\> \<leftslice\> \<rightslice\> \<preceq\>
    \<succeq\> \<precneqq\> \<succneqq\> \<precapprox\> \<succapprox\>
    \<precnapprox\> \<succnapprox\> \<subseteqq\> \<supseteqq\>
    \<subsetneqq\> \<supsetneqq\> \<interleave\> \<Alpha\> \<Beta\> \<Gamma\>
    \<Delta\> \<Epsilon\> \<Zeta\> \<Eta\> \<Theta\> \<Iota\> \<Kappa\>
    \<Lambda\> \<Mu\> \<Nu\> \<Xi\>
  </math>

  <\math>
    \<Omicron\> \<Pi\> \<Rho\> \<Sigma\> \<Tau\> \<Upsilon\> \<Phi\> \<Chi\>
    \<Psi\> \<Omega\> \<alpha\> \<beta\> \<gamma\> \<delta\> \<varepsilon\>
    \<zeta\> \<eta\> \<theta\> \<iota\> \<kappa\> \<lambda\> \<mu\> \<nu\>
    \<xi\> \<omicron\> \<pi\> \<rho\> \<varsigma\> \<sigma\> \<tau\>
    \<upsilon\> \<varphi\> \<chi\> \<psi\> \<omega\> \<vartheta\> \<phi\>
    \<varpi\> \<digamma\> \<varkappa\> \<varrho\> \<epsilon\> \<backepsilon\>
    \<longminus\> \<longequal\> \<b-up-A\> \<b-up-B\> \<b-up-C\> \<b-up-D\>
    \<b-up-E\> \<b-up-F\> \<b-up-G\> \<b-up-H\> \<b-up-I\> \<b-up-J\>
    \<b-up-K\> \<b-up-L\> \<b-up-M\> \<b-up-N\> \<b-up-O\> \<b-up-P\>
    \<b-up-Q\> \<b-up-R\> \<b-up-S\> \<b-up-T\> \<b-up-U\> \<b-up-V\>
    \<b-up-W\> \<b-up-X\> \<b-up-Y\> \<b-up-Z\> \<b-up-a\> \<b-up-b\>
  </math>

  <\math>
    \<b-up-c\> \<b-up-d\> \<b-up-e\> \<b-up-f\> \<b-up-g\> \<b-up-h\>
    \<b-up-i\> \<b-up-j\> \<b-up-k\> \<b-up-l\> \<b-up-m\> \<b-up-n\>
    \<b-up-o\> \<b-up-p\> \<b-up-q\> \<b-up-r\> \<b-up-s\> \<b-up-t\>
    \<b-up-u\> \<b-up-v\> \<b-up-w\> \<b-up-x\> \<b-up-y\> \<b-up-z\> \<b-A\>
    \<b-B\> \<b-C\> \<b-D\> \<b-E\> \<b-F\> \<b-G\> \<b-H\> \<b-I\> \<b-J\>
    \<b-K\> \<b-L\> \<b-M\> \<b-N\> \<b-O\> \<b-P\> \<b-Q\> \<b-R\> \<b-S\>
    \<b-T\> \<b-U\> \<b-V\> \<b-W\> \<b-X\> \<b-Y\> \<b-Z\> \<b-a\> \<b-b\>
    \<b-c\> \<b-d\> \<b-e\> \<b-f\> \<b-g\> \<b-h\> \<b-i\> \<b-j\> \<b-k\>
    \<b-l\> \<b-m\> \<b-n\> \<b-o\> \<b-p\> \<b-q\> \<b-r\> \<b-s\> \<b-t\>
    \<b-u\> \<b-v\> \<b-w\> \<b-x\> \<b-y\> \<b-z\> \<cal-A\> \<cal-C\>
    \<cal-D\> \<cal-G\> \<cal-J\> \<cal-K\> \<cal-N\> \<cal-O\> \<cal-P\>
  </math>

  <\math>
    \<cal-Q\> \<cal-S\> \<cal-T\> \<cal-U\> \<cal-V\> \<cal-W\> \<cal-X\>
    \<cal-Y\> \<cal-Z\> \<cal-a\> \<cal-b\> \<cal-c\> \<cal-d\> \<cal-f\>
    \<cal-h\> \<cal-i\> \<cal-j\> \<cal-k\> \<cal-l\> \<cal-m\> \<cal-n\>
    \<cal-p\> \<cal-q\> \<cal-r\> \<cal-s\> \<cal-t\> \<cal-u\> \<cal-v\>
    \<cal-w\> \<cal-x\> \<cal-y\> \<cal-z\> \<b-cal-A\> \<b-cal-B\>
    \<b-cal-C\> \<b-cal-D\> \<b-cal-E\> \<b-cal-F\> \<b-cal-G\> \<b-cal-H\>
    \<b-cal-I\> \<b-cal-J\> \<b-cal-K\> \<b-cal-L\> \<b-cal-M\> \<b-cal-N\>
    \<b-cal-O\> \<b-cal-P\> \<b-cal-Q\> \<b-cal-R\> \<b-cal-S\> \<b-cal-T\>
    \<b-cal-U\> \<b-cal-V\> \<b-cal-W\> \<b-cal-X\> \<b-cal-Y\> \<b-cal-Z\>
    \<b-cal-a\> \<b-cal-b\> \<b-cal-c\> \<b-cal-d\> \<b-cal-e\> \<b-cal-f\>
    \<b-cal-g\>
  </math>

  <\math>
    \<b-cal-h\> \<b-cal-i\> \<b-cal-j\> \<b-cal-k\> \<b-cal-l\> \<b-cal-m\>
    \<b-cal-n\> \<b-cal-o\> \<b-cal-p\> \<b-cal-q\> \<b-cal-r\> \<b-cal-s\>
    \<b-cal-t\> \<b-cal-u\> \<b-cal-v\> \<b-cal-w\> \<b-cal-x\> \<b-cal-y\>
    \<b-cal-z\> \<frak-A\> \<frak-B\> \<frak-D\> \<frak-E\> \<frak-F\>
    \<frak-G\> \<frak-J\> \<frak-K\> \<frak-L\> \<frak-M\> \<frak-N\>
    \<frak-O\> \<frak-P\> \<frak-Q\> \<frak-S\> \<frak-T\> \<frak-U\>
    \<frak-V\> \<frak-W\> \<frak-X\> \<frak-Y\> \<frak-a\> \<frak-b\>
    \<frak-c\> \<frak-d\> \<frak-e\> \<frak-f\> \<frak-g\> \<frak-h\>
    \<frak-i\> \<frak-j\> \<frak-k\> \<frak-l\> \<frak-m\> \<frak-n\>
    \<frak-o\> \<frak-p\> \<frak-q\> \<frak-r\> \<frak-s\> \<frak-t\>
    \<frak-u\> \<frak-v\> \<frak-w\> \<frak-x\> \<frak-y\> \<frak-z\>
    \<bbb-A\>
  </math>

  <\math>
    \<bbb-B\> \<bbb-D\> \<bbb-E\> \<bbb-F\> \<bbb-G\> \<bbb-I\> \<bbb-J\>
    \<bbb-K\> \<bbb-L\> \<bbb-M\> \<bbb-O\> \<bbb-S\> \<bbb-T\> \<bbb-U\>
    \<bbb-V\> \<bbb-W\> \<bbb-X\> \<bbb-Y\> \<bbb-a\> \<bbb-b\> \<bbb-c\>
    \<bbb-d\> \<bbb-e\> \<bbb-f\> \<bbb-g\> \<bbb-h\> \<bbb-i\> \<bbb-j\>
    \<bbb-k\> \<bbb-l\> \<bbb-m\> \<bbb-n\> \<bbb-o\> \<bbb-p\> \<bbb-q\>
    \<bbb-r\> \<bbb-s\> \<bbb-t\> \<bbb-u\> \<bbb-v\> \<bbb-w\> \<bbb-x\>
    \<bbb-y\> \<bbb-z\> \<b-Alpha\> \<b-Beta\> \<b-Gamma\> \<b-Delta\>
    \<b-Epsilon\> \<b-Zeta\> \<b-Eta\> \<b-Theta\> \<b-Iota\> \<b-Kappa\>
    \<b-Lambda\> \<b-Mu\> \<b-Nu\> \<b-Xi\> \<b-Omicron\> \<b-Pi\> \<b-Rho\>
    \<b-Sigma\> \<b-Tau\> \<b-Upsilon\> \<b-Phi\> \<b-Chi\> \<b-Psi\>
    \<b-Omega\> \<b-alpha\> \<b-beta\> \<b-gamma\> \<b-delta\>
    \<b-varepsilon\>
  </math>

  <\math>
    \<b-zeta\> \<b-eta\> \<b-theta\> \<b-iota\> \<b-kappa\> \<b-lambda\>
    \<b-mu\> \<b-nu\> \<b-xi\> \<b-omicron\> \<b-pi\> \<b-rho\>
    \<b-varsigma\> \<b-sigma\> \<b-tau\> \<b-upsilon\> \<b-varphi\> \<b-chi\>
    \<b-psi\> \<b-omega\> \<b-epsilon\> \<b-vartheta\> \<b-varkappa\>
    \<b-phi\> \<b-varrho\> \<b-varpi\> \<b-0\> \<b-1\> \<b-2\> \<b-3\>
    \<b-4\> \<b-5\> \<b-6\> \<b-7\> \<b-8\> \<b-9\> \<fullnote\> \<halfnote\>
  </math>

  \;

  \<varspace\>

  \<copyright\>

  \<sterling\>

  \<guillemotleft\>

  \<degree\>

  \<guillemotright\>
</body>

<\initial>
  <\collection>
    <associate|font|roman>
  </collection>
</initial>