diff options
Diffstat (limited to 'support/tcltexed/bht/RCS/amssymb.bht,v')
-rw-r--r-- | support/tcltexed/bht/RCS/amssymb.bht,v | 91 |
1 files changed, 91 insertions, 0 deletions
diff --git a/support/tcltexed/bht/RCS/amssymb.bht,v b/support/tcltexed/bht/RCS/amssymb.bht,v new file mode 100644 index 0000000000..74e48e3479 --- /dev/null +++ b/support/tcltexed/bht/RCS/amssymb.bht,v @@ -0,0 +1,91 @@ +head 1.1; +access; +symbols; +locks + mys:1.1; strict; +comment @# @; + + +1.1 +date 2000.10.12.15.08.06; author mys; state Exp; +branches; +next ; + + +desc +@@ + + +1.1 +log +@Initial revision +@ +text +@# 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@ |