#include "res/symbol_def.res.h"

DEF_SYMBOLS(amssymb)

E(0, 33, varsupsetneq)
E(0, 34, nsubseteqq)
E(0, 35, nsupseteqq)
E(0, 36, subsetneqq)
E(0, 37, supsetneqq)
E(0, 38, varsubsetneqq)
E(0, 39, varsupsetneqq)
E(0, 40, subsetneq)
E(0, 41, supsetneq)
E(0, 42, nsubseteq)
E(0, 43, nsupseteq)
E(0, 44, nparallel)
E(0, 45, nmid)
E(0, 46, nshortmid)
E(0, 47, nshortparallel)
E(0, 48, nvdash)
E(0, 49, nVdash)
E(0, 50, nvDash)
E(0, 51, nVDash)
E(0, 52, ntrianglerighteq)
E(0, 53, ntrianglelefteq)
E(0, 54, ntriangleleft)
E(0, 55, ntriangleright)
E(0, 56, nleftarrow)
E(0, 57, nrightarrow)
E(0, 58, nLeftarrow)
E(0, 59, nRightarrow)
E(0, 60, nLeftrightarrow)
E(0, 61, nleftrightarrow)
E(0, 62, divideontimes)
E(0, 63, varnothing)
E(0, 64, nexists)
E(0, 96, Finv)
E(0, 97, Game)
E(0, 103, eth)
E(0, 104, eqsim)
E(0, 105, beth)
E(0, 106, gimel)
E(0, 107, daleth)
E(0, 108, lessdot)
E(0, 109, gtrdot)
E(0, 110, ltimes)
E(0, 111, rtimes)
E(0, 112, shortmid)
E(0, 113, shortparallel)
E(0, 114, smallsetminus)
E(0, 115, thicksim)
E(0, 116, thickapprox)
E(0, 117, approxeq)
E(0, 118, succapprox)
E(0, 119, precapprox)
E(0, 120, curvearrowleft)
E(0, 121, curvearrowright)
E(0, 122, digamma)
E(0, 123, varkappa)
E(0, 124, Bbbk)
E(0, 125, hslash)
E(0, 161, lvertneqq)
E(0, 162, gvertneqq)
E(0, 163, nleq)
E(0, 164, ngeq)
E(0, 165, nless)
E(0, 166, ngtr)
E(0, 167, nprec)
E(0, 168, nsucc)
E(0, 169, lneqq)
E(0, 170, gneqq)
E(0, 171, nleqslant)
E(0, 174, ngeqslant)
E(0, 175, lneq)
E(0, 176, gneq)
E(0, 177, npreceq)
E(0, 178, nsucceq)
E(0, 179, precnsim)
E(0, 180, succnsim)
E(0, 181, lnsim)
E(0, 182, gnsim)
E(0, 183, nleqq)
E(0, 184, ngeqq)
E(0, 185, precneqq)
E(0, 186, succneqq)
E(0, 187, precnapprox)
E(0, 188, succnapprox)
E(0, 189, lnapprox)
E(0, 190, gnapprox)
E(0, 191, nsim)
E(0, 192, ncong)
E(0, 193, diagup)
E(0, 194, diagdown)
E(0, 195, varsubsetneq)
E(0, 196, backepsilon)
E(9, 33, leftrightsquigarrow)
E(9, 34, looparrowleft)
E(9, 35, looparrowright)
E(9, 36, circeq)
E(9, 37, succsim)
E(9, 38, gtrsim)
E(9, 39, gtrapprox)
E(9, 40, multimap)
E(9, 41, therefore)
E(9, 42, because)
E(9, 43, doteqdot)
E(9, 44, triangleq)
E(9, 45, precsim)
E(9, 46, lesssim)
E(9, 47, lessapprox)
E(9, 48, eqslantless)
E(9, 49, eqslantgtr)
E(9, 50, curlyeqprec)
E(9, 51, curlyeqsucc)
E(9, 52, preccurlyeq)
E(9, 53, leqq)
E(9, 54, leqslant)
E(9, 55, lessgtr)
E(9, 56, backprime)
E(9, 58, risingdotseq)
E(9, 59, fallingdotseq)
E(9, 60, succcurlyeq)
E(9, 61, geqq)
E(9, 62, geqslant)
E(9, 63, gtrless)
E(9, 66, vartriangleright)
E(9, 67, vartriangleleft)
E(9, 68, trianglerighteq)
E(9, 69, trianglelefteq)
E(9, 70, bigstar)
E(9, 71, between)
E(9, 72, blacktriangledown)
E(9, 73, blacktriangleright)
E(9, 74, blacktriangleleft)
E(9, 77, vartriangle)
E(9, 78, blacktriangle)
E(9, 79, triangledown)
E(9, 80, eqcirc)
E(9, 81, lesseqgtr)
E(9, 82, gtreqless)
E(9, 83, lesseqqgtr)
E(9, 84, gtreqqless)
E(9, 85, yen)
E(9, 86, Rrightarrow)
E(9, 87, Lleftarrow)
E(9, 88, checkmark)
E(9, 89, veebar)
E(9, 90, barwedge)
E(9, 91, doublebarwedge)
E(9, 93, measuredangle)
E(9, 94, sphericalangle)
E(9, 95, varpropto)
E(9, 96, smallsmile)
E(9, 97, smallfrown)
E(9, 98, Subset)
E(9, 99, Supset)
E(9, 100, Cup)
E(9, 101, Cap)
E(9, 102, curlywedge)
E(9, 103, curlyvee)
E(9, 104, leftthreetimes)
E(9, 105, rightthreetimes)
E(9, 106, subseteqq)
E(9, 107, supseteqq)
E(9, 108, bumpeq)
E(9, 109, Bumpeq)
E(9, 110, lll)
E(9, 111, ggg)
E(9, 112, ulcorner)
E(9, 113, urcorner)
E(9, 114, textregistered)
E(9, 115, circledS)
E(9, 116, pitchfork)
E(9, 117, dotplus)
E(9, 118, backsim)
E(9, 119, backsimeq)
E(9, 120, llcorner)
E(9, 121, lrcorner)
E(9, 122, maltese)
E(9, 123, complement)
E(9, 124, intercal)
E(9, 125, circledcirc)
E(9, 126, circledast)
E(9, 161, boxdot)
E(9, 162, boxplus)
E(9, 163, boxtimes)
E(9, 164, square)
E(9, 165, blacksquare)
E(9, 166, centerdot)
E(9, 167, lozenge)
E(9, 168, blacklozenge)
E(9, 169, circlearrowright)
E(9, 170, circlearrowleft)
E(9, 174, leftrightharpoons)
E(9, 175, boxminus)
E(9, 176, Vdash)
E(9, 177, Vvdash)
E(9, 178, vDash)
E(9, 179, twoheadrightarrow)
E(9, 180, twoheadleftarrow)
E(9, 181, leftleftarrows)
E(9, 182, rightrightarrows)
E(9, 183, upuparrows)
E(9, 184, downdownarrows)
E(9, 185, upharpoonright)
E(9, 186, downharpoonright)
E(9, 187, upharpoonleft)
E(9, 188, downharpoonleft)
E(9, 189, rightarrowtail)
E(9, 190, leftarrowtail)
E(9, 191, leftrightarrows)
E(9, 192, rightleftarrows)
E(9, 193, Lsh)
E(9, 194, Rsh)
E(9, 195, rightsquigarrow)
E(9, 196, circleddash)

END_DEF_SYMBOLS
