# Copyright (C) 1999 - Martin Strauss - under terms of GPL ################################################################################ # I $Name $Latexbefehl $Buttontext/Giffile $Curserrueckverschiebung # ################################################################################ I amssymb "\\usepackage{amssymb}\n" amssymb 0 set LISTE [list \ dotplus ltimes rtims smallsetminus barwedge boxminus divideontimes\ curlywedge circledast intercal veebar\ boxtimes leftthreetimes curlyvee\ circledcirc rtimes doublebarwedge boxplus\ rightthreetimes circleddash centerdot\ checkmark maltese yen ulcorner urcorner\ llcorner lrcorner dashrightarrow dashleftarrow\ digamma varkappa beth gimel daleth hslash vartriangle\ triangledown square lozenge backprime varnothing\ blacktriangle blacktriangledown blacksquare blacklozenge\ circledS bigstar sphericalangle measureangle nexists\ mho complement eth diagup diagdown\ leqq geqq leqslant gepslant eqslantless eqslantgtr\ lesssim gtrsim lessapprox gtrapprox approxeq lessdot\ gtrdot lll ggg lessgtr gtrless lesseqqless\ eqcirc risingdotseq circeq fallingdotseq triangleq\ backsim thicksim backsimeq thickapprox subseteqq supseteqq\ sqsubset sqsupset preccurlyeq succurlyeq\ curclyeqprec curlyeqsucc precsim succsim precapprox succapprox\ vartriangleleft vartriangleright trianglelefteq\ trianglerighteq smallsmile smallfrown\ shortmid shartparallel bumpeq between pitchfork\ varpropto backepsilon blacktriangleleft blacktriangleright\ therefore because\ leftleftarrows rightrightarrows leftrightarrows\ rightleftarrows\ twoheadleftarrow twoheadrightarrow leftarrowtail\ rightarrowtail looparrowleft looparrowright\ curvearrowleft\ curvearrowright circlearrowleft circlearrowright\ upuparrows\ downdownarrows upharpoonleft upharpoonright\ downharpoonleft downharpoonright multimap\ leftrightsquigarrow rightsquigarrow nleftarrow\ nrightarrow\ nleftrightarrow\ nless ngtr nleq ngeq nleqslant ngeqslant\ nleqq ngeqq lneq gneq lneqq gneqq\ lvertneqq gvertneqq lnsim gnsim lnapprox gnapprox\ nprec nsucc npreceq nsucceq precneqq succneqq\ precnsim succnsim precnapprox succnapprox nsim ncong\ nshartmid nshortparallel nmid nparallel nvdash nvDash\ ntriangleleft ntriangleright ntrianglelefteq ntrianglerighteq\ nsubseteq nsupseteq nsubseteqq nsupseteqq subsetneq supsetneq\ varsubsetneq varsupsetneq subsetneqq supsetneqq varsubsetneqq varsupsetneqq] foreach x $LISTE {I $x "\\$x" $x 0} set LISTE [list Finv Game Bbbk Subset Supset Vvdash Bumpeq Lsh Rsh nLeftrightarrow\ Cap Cup Doteq Vdash Lleftarrow Rrightarrow] set big _big foreach x $LISTE {I $x "\\$x" $x$big 0} set LISTE [list vDash nVdash nLeftarrow nRightarrow] set big _big2 foreach x $LISTE {I $x "\\$x" $x$big 0} unset big I nVDash "\\nVDash" nvdash_big23 0 I circledR "\\circledR" circledR_big8 0 unset LISTE