<symbols>
  <symbol command="\bowtie" file="bowtie.png" math="1" original_height="16" original_width="16" />
  <symbol command="\Join" file="Join.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\propto" file="propto.png" math="1" original_height="15" original_width="15" />
  <symbol command="\varpropto" file="varpropto.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\multimap" file="multimap.png" math="1" original_height="20" original_width="20" package="amssymb" />
  <symbol command="\pitchfork" file="pitchfork.png" math="1" original_height="14" original_width="14" package="amssymb" />
  <symbol command="\therefore" file="therefore.png" math="1" original_height="14" original_width="14" package="amssymb" />
  <symbol command="\because" file="because.png" math="1" original_height="14" original_width="14" package="amssymb" />
  <symbol command="=" file="equals.png" math="1" original_height="15" original_width="15" />
  <symbol command="\neq" file="neq.png" math="1" original_height="17" original_width="17" />
  <symbol command="\equiv" file="equiv.png" math="1" original_height="15" original_width="15" />
  <symbol command="\approx" file="approx.png" math="1" original_height="15" original_width="15" />
  <symbol command="\sim" file="sim.png" math="1" original_height="15" original_width="15" />
  <symbol command="\simeq" file="simeq.png" math="1" original_height="15" original_width="15" />
  <symbol command="\backsimeq" file="backsimeq.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\approxeq" file="approxeq.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\cong" file="cong.png" math="1" original_height="15" original_width="15" />
  <symbol command="\ncong" file="ncong.png" math="1" original_height="20" original_width="20" package="amssymb" />
  <symbol command="\smile" file="smile.png" math="1" original_height="18" original_width="18" />
  <symbol command="\frown" file="frown.png" math="1" original_height="18" original_width="18" />
  <symbol command="\asymp" file="asymp.png" math="1" original_height="15" original_width="15" />
  <symbol command="\smallfrown" file="smallfrown.png" math="1" original_height="17" original_width="17" package="amssymb" />
  <symbol command="\smallsmile" file="smallsmile.png" math="1" original_height="17" original_width="17" package="amssymb" />
  <symbol command="\between" file="between.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\prec" file="prec.png" math="1" original_height="15" original_width="15" />
  <symbol command="\succ" file="succ.png" math="1" original_height="15" original_width="15" />
  <symbol command="\nprec" file="nprec.png" math="1" original_height="17" original_width="17" package="amssymb" />
  <symbol command="\nsucc" file="nsucc.png" math="1" original_height="17" original_width="17" package="amssymb" />
  <symbol command="\preceq" file="preceq.png" math="1" original_height="15" original_width="15" />
  <symbol command="\succeq" file="succeq.png" math="1" original_height="15" original_width="15" />
  <symbol command="\npreceq" file="npreceq.png" math="1" original_height="20" original_width="20" package="amssymb" />
  <symbol command="\nsucceq" file="nsucceq.png" math="1" original_height="20" original_width="20" package="amssymb" />
  <symbol command="\preccurlyeq" file="preccurlyeq.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\succcurlyeq" file="succcurlyeq.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\curlyeqprec" file="curlyeqprec.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\curlyeqsucc" file="curlyeqsucc.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\precsim" file="precsim.png" math="1" original_height="18" original_width="18" package="amssymb" />
  <symbol command="\succsim" file="succsim.png" math="1" original_height="18" original_width="18" package="amssymb" />
  <symbol command="\precnsim" file="precnsim.png" math="1" original_height="18" original_width="18" package="amssymb" />
  <symbol command="\succnsim" file="succnsim.png" math="1" original_height="18" original_width="18" package="amssymb" />
  <symbol command="\precapprox" file="precapprox.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\succapprox" file="succapprox.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\precnapprox" file="precnapprox.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\succnapprox" file="succnapprox.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\perp" file="perp.png" math="1" original_height="15" original_width="15" />
  <symbol command="\vdash" file="vdash.png" math="1" original_height="14" original_width="14" />
  <symbol command="\dashv" file="dashv.png" math="1" original_height="14" original_width="14" />
  <symbol command="\nvdash" file="nvdash.png" math="1" original_height="14" original_width="14" package="amssymb" />
  <symbol command="\Vdash" file="Vdash.png" math="1" original_height="14" original_width="14" package="amssymb" />
  <symbol command="\Vvdash" file="Vvdash.png" math="1" original_height="17" original_width="17" package="amssymb" />
  <symbol command="\models" file="models.png" math="1" original_height="19" original_width="19" />
  <symbol command="\vDash" file="vDash.png" math="1" original_height="14" original_width="14" package="amssymb" />
  <symbol command="\nvDash" file="nvDash.png" math="1" original_height="14" original_width="14" package="amssymb" />
  <symbol command="\nVDash" file="nVDash.png" math="1" original_height="14" original_width="14" package="amssymb" />
  <symbol command="\mid" file="mid.png" math="1" original_height="19" original_width="19" />
  <symbol command="\nmid" file="nmid.png" math="1" original_height="18" original_width="18" package="amssymb" />
  <symbol command="\parallel" file="parallel.png" math="1" original_height="19" original_width="19" />
  <symbol command="\nparallel" file="nparallel.png" math="1" original_height="18" original_width="18" package="amssymb" />
  <symbol command="\shortmid" file="shortmid.png" math="1" original_height="13" original_width="13" package="amssymb" />
  <symbol command="\nshortmid" file="nshortmid.png" math="1" original_height="13" original_width="13" package="amssymb" />
  <symbol command="\shortparallel" file="shortparallel.png" math="1" original_height="13" original_width="13" package="amssymb" />
  <symbol command="\nshortparallel" file="nshortparallel.png" math="1" original_height="13" original_width="13" package="amssymb" />
  <symbol command="&lt;" file="lt.png" math="1" original_height="15" original_width="15" />
  <symbol command="&gt;" file="gt.png" math="1" original_height="15" original_width="15" />
  <symbol command="\nless" file="nless.png" math="1" original_height="17" original_width="17" package="amssymb" />
  <symbol command="\ngtr" file="ngtr.png" math="1" original_height="17" original_width="17" package="amssymb" />
  <symbol command="\lessdot" file="lessdot.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\gtrdot" file="gtrdot.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\ll" file="ll.png" math="1" original_height="19" original_width="19" />
  <symbol command="\gg" file="gg.png" math="1" original_height="19" original_width="19" />
  <symbol command="\lll" file="lll.png" math="1" original_height="24" original_width="24" package="amssymb" />
  <symbol command="\ggg" file="ggg.png" math="1" original_height="24" original_width="24" package="amssymb" />
  <symbol command="\leq" file="leq.png" math="1" original_height="15" original_width="15" />
  <symbol command="\geq" file="geq.png" math="1" original_height="15" original_width="15" />
  <symbol command="\lneq" file="lneq.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\gneq" file="gneq.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\nleq" file="nleq.png" math="1" original_height="20" original_width="20" package="amssymb" />
  <symbol command="\ngeq" file="ngeq.png" math="1" original_height="20" original_width="20" package="amssymb" />
  <symbol command="\leqq" file="leqq.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\geqq" file="geqq.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\lneqq" file="lneqq.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\gneqq" file="gneqq.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\lvertneqq" file="lvertneqq.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\gvertneqq" file="gvertneqq.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\nleqq" file="nleqq.png" math="1" original_height="24" original_width="24" package="amssymb" />
  <symbol command="\ngeqq" file="ngeqq.png" math="1" original_height="24" original_width="24" package="amssymb" />
  <symbol command="\leqslant" file="leqslant.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\geqslant" file="geqslant.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\nleqslant" file="nleqslant.png" math="1" original_height="20" original_width="20" package="amssymb" />
  <symbol command="\ngeqslant" file="ngeqslant.png" math="1" original_height="20" original_width="20" package="amssymb" />
  <symbol command="\eqslantless" file="eqslantless.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\eqslantgtr" file="eqslantgtr.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\lessgtr" file="lessgtr.png" math="1" original_height="16" original_width="16" package="amssymb" />
  <symbol command="\gtrless" file="gtrless.png" math="1" original_height="16" original_width="16" package="amssymb" />
  <symbol command="\lesseqgtr" file="lesseqgtr.png" math="1" original_height="23" original_width="23" package="amssymb" />
  <symbol command="\gtreqless" file="gtreqless.png" math="1" original_height="23" original_width="23" package="amssymb" />
  <symbol command="\lesseqqgtr" file="lesseqqgtr.png" math="1" original_height="26" original_width="26" package="amssymb" />
  <symbol command="\gtreqqless" file="gtreqqless.png" math="1" original_height="26" original_width="26" package="amssymb" />
  <symbol command="\lesssim" file="lesssim.png" math="1" original_height="18" original_width="18" package="amssymb" />
  <symbol command="\gtrsim" file="gtrsim.png" math="1" original_height="18" original_width="18" package="amssymb" />
  <symbol command="\lnsim" file="lnsim.png" math="1" original_height="18" original_width="18" package="amssymb" />
  <symbol command="\gnsim" file="gnsim.png" math="1" original_height="18" original_width="18" package="amssymb" />
  <symbol command="\lessapprox" file="lessapprox.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\gtrapprox" file="gtrapprox.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\lnapprox" file="lnapprox.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\gnapprox" file="gnapprox.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\vartriangleleft" file="vartriangleleft.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\vartriangleright" file="vartriangleright.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\ntriangleleft" file="ntriangleleft.png" math="1" original_height="17" original_width="17" package="amssymb" />
  <symbol command="\ntriangleright" file="ntriangleright.png" math="1" original_height="17" original_width="17" package="amssymb" />
  <symbol command="\trianglelefteq" file="trianglelefteq.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\trianglerighteq" file="trianglerighteq.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\ntrianglelefteq" file="ntrianglelefteq.png" math="1" original_height="20" original_width="20" package="amssymb" />
  <symbol command="\ntrianglerighteq" file="ntrianglerighteq.png" math="1" original_height="20" original_width="20" package="amssymb" />
  <symbol command="\blacktriangleleft" file="blacktriangleleft.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\blacktriangleright" file="blacktriangleright.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\subset" file="subset.png" math="1" original_height="15" original_width="15" />
  <symbol command="\supset" file="supset.png" math="1" original_height="15" original_width="15" />
  <symbol command="\subseteq" file="subseteq.png" math="1" original_height="15" original_width="15" />
  <symbol command="\supseteq" file="supseteq.png" math="1" original_height="15" original_width="15" />
  <symbol command="\subsetneq" file="subsetneq.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\supsetneq" file="supsetneq.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\varsubsetneq" file="varsubsetneq.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\varsupsetneq" file="varsupsetneq.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\nsubseteq" file="nsubseteq.png" math="1" original_height="20" original_width="20" package="amssymb" />
  <symbol command="\nsupseteq" file="nsupseteq.png" math="1" original_height="20" original_width="20" package="amssymb" />
  <symbol command="\subseteqq" file="subseteqq.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\supseteqq" file="supseteqq.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\subsetneqq" file="subsetneqq.png" math="1" original_height="20" original_width="20" package="amssymb" />
  <symbol command="\supsetneqq" file="supsetneqq.png" math="1" original_height="20" original_width="20" package="amssymb" />
  <symbol command="\nsubseteqq" file="nsubseteqq.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\nsupseteqq" file="nsupseteqq.png" math="1" original_height="19" original_width="19" package="amssymb" />
  <symbol command="\backepsilon" file="backepsilon.png" math="1" original_height="10" original_width="10" package="amssymb" />
  <symbol command="\Subset" file="Subset.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\Supset" file="Supset.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\sqsubset" file="sqsubset.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\sqsupset" file="sqsupset.png" math="1" original_height="15" original_width="15" package="amssymb" />
  <symbol command="\sqsubseteq" file="sqsubseteq.png" math="1" original_height="15" original_width="15" />
  <symbol command="\sqsupseteq" file="sqsupseteq.png" math="1" original_height="15" original_width="15" />
</symbols>