;ELC ;;; Compiled ;;; in Emacs version 28.0.50 ;;; with all optimizations. (byte-code "\301\302!\210\301\303!\210\304\305\306#\207" [TeX-dialect require tex latex TeX-add-style-hook "amssymb" #[0 "\300\301!\210\302\303\304\305\306\307\310\311\312\313\314\315\316\317\320\321\322\323\324\325\326\327\330\331\332\333\334\335\336\337\340\341\342\343\344\345\346\347\350\351\352\353\354\355\356\357\360\361\362\363\364\365\366\367\370\371\372\373\374\375\376\377\201@\201A\201B\201C\201D\201E\201F\201G\201H\201I\201J\201K\201L\201M\201N\201O\201P\201Q\201R\201S\201T\201U\201V\201W\201X\201Y\201Z\201[\201\\\201]\201^\201_\201`\201a\201b\201c\201d\201e\201f\201g\201h\201i\201j\201k\201l\201m\201n\201o\201p\201q\201r\201s\201t\201u\201v\201w\201x\201y\201z\201{\201|\201}\201~\201\201\200\201\201\201\202\201\203\201\204\201\205\201\206\201\207\201\210\201\211\201\212\201\213\201\214\201\215\201\216\201\217\201\220\201\221\201\222\201\223\201\224\201\225\201\226\201\227\201\230\201\231\201\232\201\233\201\234\201\235\201\236\201\237\201\240\201\241\201\242\201\243\201\244\201\245\201\246\201\247\201\250\201\251\201\252\201\253\201\254\201\255\201\256\201\257\201\260\201\261\201\262\201\263\201\264\201\265\201\266\201\267\201\270\201\271\201\272\201\273\201\274\201\275\201\276\201\277\201\300\201\301\201\302\201\303\201\304\201\305\201\306\201\307\201\310\201\311\201\312\201\313\201\314\201\315\201\316&\314\207" [TeX-run-style-hooks "amsfonts" TeX-add-symbols "boxdot" "boxplus" "boxtimes" "square" "blacksquare" "centerdot" "lozenge" "blacklozenge" "circlearrowright" "circlearrowleft" "leftrightharpoons" "boxminus" "Vdash" "Vvdash" "vDash" "twoheadrightarrow" "twoheadleftarrow" "leftleftarrows" "rightrightarrows" "upuparrows" "downdownarrows" "upharpoonright" "downharpoonright" "upharpoonleft" "downharpoonleft" "rightarrowtail" "leftarrowtail" "leftrightarrows" "rightleftarrows" "Lsh" "Rsh" "rightsquigarrow" "leftrightsquigarrow" "looparrowleft" "looparrowright" "circeq" "succsim" "gtrsim" "gtrapprox" "multimap" "therefore" "because" "doteqdot" "triangleq" "precsim" "lesssim" "lessapprox" "eqslantless" "eqslantgtr" "curlyeqprec" "curlyeqsucc" "preccurlyeq" "leqq" "leqslant" "lessgtr" "backprime" "risingdotseq" "fallingdotseq" "succcurlyeq" "geqq" "geqslant" "gtrless" "vartriangleright" "vartriangleleft" "trianglerighteq" "trianglelefteq" "bigstar" "between" "blacktriangledown" "blacktriangleright" "blacktriangleleft" "vartriangle" "blacktriangle" "triangledown" "eqcirc" "lesseqgtr" "gtreqless" "lesseqqgtr" "gtreqqless" "Rrightarrow" "Lleftarrow" "veebar" "barwedge" "doublebarwedge" "measuredangle" "sphericalangle" "varpropto" "smallsmile" "smallfrown" "Subset" "Supset" "Cup" "Cap" "curlywedge" "curlyvee" "leftthreetimes" "rightthreetimes" "subseteqq" "supseteqq" "bumpeq" "Bumpeq" "lll" "ggg" "circledS" "pitchfork" "dotplus" "backsim" "backsimeq" "complement" "intercal" "circledcirc" "circledast" "circleddash" "lvertneqq" "gvertneqq" "nleq" "ngeq" "nless" "ngtr" "nprec" "nsucc" "lneqq" "gneqq" "nleqslant" "ngeqslant" "lneq" "gneq" "npreceq" "nsucceq" "precnsim" "succnsim" "lnsim" "gnsim" "nleqq" "ngeqq" "precneqq" "succneqq" "precnapprox" "succnapprox" "lnapprox" "gnapprox" "nsim" "ncong" "diagup" "diagdown" "varsubsetneq" "varsupsetneq" "nsubseteqq" "nsupseteqq" "subsetneqq" "supsetneqq" "varsubsetneqq" "varsupsetneqq" "subsetneq" "supsetneq" "nsubseteq" "nsupseteq" "nparallel" "nmid" "nshortmid" "nshortparallel" "nvdash" "nVdash" "nvDash" "nVDash" "ntrianglerighteq" "ntrianglelefteq" "ntriangleleft" "ntriangleright" "nleftarrow" "nrightarrow" "nLeftarrow" "nRightarrow" "nLeftrightarrow" "nleftrightarrow" "divideontimes" "varnothing" "nexists" "Finv" "Game" "eth" "eqsim" "beth" "gimel" "daleth" "lessdot" "gtrdot" "ltimes" "rtimes" "shortmid" "shortparallel" "smallsetminus" "thicksim" "thickapprox" "approxeq" "succapprox" "precapprox" "curvearrowleft" "curvearrowright" "digamma" "varkappa" "Bbbk" "hslash" "backepsilon"] 205]] 4) #@42 Package options for the amssymb package. (defvar LaTeX-amssymb-package-options '("psamsfonts") (#$ . 4143))