summaryrefslogtreecommitdiff
path: root/support/tcltexed/bht/amssymb.bht
diff options
context:
space:
mode:
Diffstat (limited to 'support/tcltexed/bht/amssymb.bht')
-rw-r--r--support/tcltexed/bht/amssymb.bht68
1 files changed, 68 insertions, 0 deletions
diff --git a/support/tcltexed/bht/amssymb.bht b/support/tcltexed/bht/amssymb.bht
new file mode 100644
index 0000000000..35be615da1
--- /dev/null
+++ b/support/tcltexed/bht/amssymb.bht
@@ -0,0 +1,68 @@
+# 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 \ No newline at end of file