<TeXmacs|1.99.4>

<style|generic>

<\body>
  <\equation*>
    <tabular*|<tformat|<table|<row|<cell|->|<cell|=>|<cell|\<equiv\>>|<cell|\<sim\>>|<cell|\<approx\>>|<cell|\<simeq\>>|<cell|\<cong\>>|<cell|\<approxeq\>>|<cell|\<asymp\>>|<cell|\<asympasymp\>>|<cell|\<simsim\>>>|<row|<cell|/>|<cell|\<neq\>>|<cell|\<nequiv\>>|<cell|\<nsim\>>|<cell|\<napprox\>>|<cell|\<nsimeq\>>|<cell|\<ncong\>>|<cell|\<napproxeq\>>|<cell|\<nasymp\>>|<cell|\<nasympasymp\>>|<cell|\<nsimsim\>>>>>>
  </equation*>

  <\equation*>
    <tabular*|<tformat|<table|<row|<cell|\<vdash\>>|<cell|\<Vdash\>>|<cell|\<Vvdash\>>|<cell|\<vDash\>>|<cell|\<VDash\>>|<cell|\<VvDash\>>|<cell|\<nvdash\>>|<cell|\<nVdash\>>|<cell|\<nVvdash\>>|<cell|\<nvDash\>>|<cell|\<nVDash\>>|<cell|\<nVvDash\>>>|<row|<cell|\<dashv\>>|<cell|\<dashV\>>|<cell|\<dashVv\>>|<cell|\<Dashv\>>|<cell|\<DashV\>>|<cell|\<DashVv\>>|<cell|\<ndashv\>>|<cell|\<ndashV\>>|<cell|\<ndashVv\>>|<cell|\<nDashv\>>|<cell|\<nDashV\>>|<cell|\<nDashVv\>>>>>>
  </equation*>

  <\equation*>
    <tabular*|<tformat|<table|<row|<cell|\<less\>>|<cell|\<leqslant\>>|<cell|\<leq\>>|<cell|\<leqq\>>|<cell|\<nless\>>|<cell|\<nleqslant\>>|<cell|\<nleq\>>|<cell|\<lneq\>>|<cell|\<nleqq\>>|<cell|\<lneqq\>>|<cell|\<lvertneqq\>>>|<row|<cell|\<gtr\>>|<cell|\<geqslant\>>|<cell|\<geq\>>|<cell|\<geqq\>>|<cell|\<ngtr\>>|<cell|\<ngeqslant\>>|<cell|\<ngeq\>>|<cell|\<gneq\>>|<cell|\<ngeqq\>>|<cell|\<gneqq\>>|<cell|\<gvertneqq\>>>>>>
  </equation*>

  <\equation*>
    <tabular*|<tformat|<table|<row|<cell|\<lessdot\>>|<cell|\<leqdot\>>|<cell|\<leqslantdot\>>|<cell|\<lesssim\>>|<cell|\<lessapprox\>>|<cell|\<nlesssim\>>|<cell|\<lnsim\>>|<cell|\<nlessapprox\>>|<cell|\<lnapprox\>>>|<row|<cell|\<dotgtr\>>|<cell|\<dotgeq\>>|<cell|\<dotgeqslant\>>|<cell|\<gtrsim\>>|<cell|\<gtrapprox\>>|<cell|\<ngtrsim\>>|<cell|\<gnsim\>>|<cell|\<ngtrapprox\>>|<cell|\<gnapprox\>>>>>>
  </equation*>

  <\equation*>
    <tabular*|<tformat|<table|<row|<cell|\<prec\>>|<cell|\<preccurlyeq\>>|<cell|\<preceq\>>|<cell|\<preceqq\>>|<cell|\<nprec\>>|<cell|\<npreccurlyeq\>>|<cell|\<npreceq\>>|<cell|\<precneq\>>|<cell|\<npreceqq\>>|<cell|\<precneqq\>>|<cell|\<precvertneqq\>>>|<row|<cell|\<succ\>>|<cell|\<succcurlyeq\>>|<cell|\<succeq\>>|<cell|\<succeqq\>>|<cell|\<nsucc\>>|<cell|\<nsucccurlyeq\>>|<cell|\<nsucceq\>>|<cell|\<succneq\>>|<cell|\<nsucceqq\>>|<cell|\<succneqq\>>|<cell|\<succvertneqq\>>>>>>
  </equation*>

  <\equation*>
    <tabular*|<tformat|<table|<row|<cell|\<precdot\>>|<cell|\<preceqdot\>>|<cell|\<preccurlyeqdot\>>|<cell|\<precsim\>>|<cell|\<precapprox\>>|<cell|\<nprecsim\>>|<cell|\<precnsim\>>|<cell|\<nprecapprox\>>|<cell|\<precnapprox\>>>|<row|<cell|\<dotsucc\>>|<cell|\<dotsucceq\>>|<cell|\<dotsucccurlyeq\>>|<cell|\<succsim\>>|<cell|\<succapprox\>>|<cell|\<nsuccsim\>>|<cell|\<succnsim\>>|<cell|\<nsuccapprox\>>|<cell|\<succnapprox\>>>>>>
  </equation*>

  <\equation*>
    <tabular*|<tformat|<table|<row|<cell|\<subset\>>|<cell|\<subseteq\>>|<cell|\<subseteqq\>>|<cell|\<nsubset\>>|<cell|\<nsubseteq\>>|<cell|\<subsetneq\>>|<cell|\<varsubsetneq\>>|<cell|\<nsubseteqq\>>|<cell|\<subsetneqq\>>|<cell|\<varsubsetneqq\>>|<cell|\<Subset\>>|<cell|\<subsetplus\>>>|<row|<cell|\<supset\>>|<cell|\<supseteq\>>|<cell|\<supseteqq\>>|<cell|\<nsupset\>>|<cell|\<nsupseteq\>>|<cell|\<supsetneq\>>|<cell|\<varsupsetneq\>>|<cell|\<nsupseteqq\>>|<cell|\<supsetneqq\>>|<cell|\<varsupsetneqq\>>|<cell|\<Supset\>>|<cell|\<supsetplus\>>>>>>
  </equation*>

  <\equation*>
    <tabular*|<tformat|<table|<row|<cell|\<sqsubset\>>|<cell|\<sqsubseteq\>>|<cell|\<sqsubseteqq\>>|<cell|\<nsqsubset\>>|<cell|\<nsqsubseteq\>>|<cell|\<sqsubsetneq\>>|<cell|\<varsqsubsetneq\>>|<cell|\<nsqsubseteqq\>>|<cell|\<sqsubsetneqq\>>|<cell|\<varsqsubsetneqq\>>>|<row|<cell|\<sqsupset\>>|<cell|\<sqsupseteq\>>|<cell|\<sqsupseteqq\>>|<cell|\<nsqsupset\>>|<cell|\<nsqsupseteq\>>|<cell|\<sqsupsetneq\>>|<cell|\<varsqsupsetneq\>>|<cell|\<nsqsupseteqq\>>|<cell|\<sqsupsetneqq\>>|<cell|\<varsqsupsetneqq\>>>>>>
  </equation*>

  <\equation*>
    <tabular*|<tformat|<table|<row|<cell|\<ll\>>|<cell|\<lleq\>>|<cell|\<lll\>>|<cell|\<llleq\>>|<cell|\<nll\>>|<cell|\<nlleq\>>|<cell|\<nlll\>>|<cell|\<nllleq\>>>|<row|<cell|\<gg\>>|<cell|\<ggeq\>>|<cell|\<ggg\>>|<cell|\<gggeq\>>|<cell|\<ngg\>>|<cell|\<nggeq\>>|<cell|\<nggg\>>|<cell|\<ngggeq\>>>>>>
  </equation*>

  <\equation*>
    <tabular*|<tformat|<table|<row|<cell|\<precprec\>>|<cell|\<precpreceq\>>|<cell|\<precprecprec\>>|<cell|\<precprecpreceq\>>|<cell|\<nprecprec\>>|<cell|\<nprecpreceq\>>|<cell|\<nprecprecprec\>>|<cell|\<nprecprecpreceq\>>>|<row|<cell|\<succsucc\>>|<cell|\<succsucceq\>>|<cell|\<succsuccsucc\>>|<cell|\<succsuccsucceq\>>|<cell|\<nsuccsucc\>>|<cell|\<nsuccsucceq\>>|<cell|\<nsuccsuccsucc\>>|<cell|\<nsuccsuccsucceq\>>>>>>
  </equation*>

  <\equation*>
    <tabular*|<tformat|<table|<row|<cell|\<in\>>|<cell|\<nin\>>|<cell|\<vartriangleleft\>>|<cell|\<trianglelefteqslant\>>|<cell|\<trianglelefteq\>>|<cell|\<ntriangleleft\>>|<cell|\<ntrianglelefteqslant\>>|<cell|\<ntrianglelefteq\>>|<cell|\<blacktriangleleft\>>|<cell|\<blacktrianglelefteqslant\>>|<cell|\<blacktrianglelefteq\>>|<cell|\<nblacktriangleleft\>>|<cell|\<nblacktrianglelefteqslant\>>|<cell|\<nblacktrianglelefteq\>>>|<row|<cell|\<ni\>>|<cell|\<nni\>>|<cell|\<vartriangleright\>>|<cell|\<trianglerighteqslant\>>|<cell|\<trianglerighteq\>>|<cell|\<ntriangleright\>>|<cell|\<ntrianglerighteqslant\>>|<cell|\<ntrianglerighteq\>>|<cell|\<blacktriangleright\>>|<cell|\<blacktrianglerighteqslant\>>|<cell|\<blacktrianglerighteq\>>|<cell|\<nblacktriangleright\>>|<cell|\<nblacktrianglerighteqslant\>>|<cell|\<nblacktrianglerighteq\>>>>>>
  </equation*>

  \;

<\initial>
  <\collection>
    <associate|font|Papyrus>
    <associate|page-type|a5>
  </collection>
</initial>