summaryrefslogtreecommitdiff
path: root/support/tcltexed/gif
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /support/tcltexed/gif
Initial commit
Diffstat (limited to 'support/tcltexed/gif')
-rw-r--r--support/tcltexed/gif/Delta_big.gifbin0 -> 1141 bytes
-rw-r--r--support/tcltexed/gif/Downarrow_big.gifbin0 -> 234 bytes
-rw-r--r--support/tcltexed/gif/Gamma_big.gifbin0 -> 1117 bytes
-rw-r--r--support/tcltexed/gif/Im_big.gifbin0 -> 1211 bytes
-rw-r--r--support/tcltexed/gif/Lambda_big.gifbin0 -> 1157 bytes
-rw-r--r--support/tcltexed/gif/Leftarrow_big.gifbin0 -> 1117 bytes
-rw-r--r--support/tcltexed/gif/Leftrightarrow_big.gifbin0 -> 1163 bytes
-rw-r--r--support/tcltexed/gif/Longleftarrow_big.gifbin0 -> 1269 bytes
-rw-r--r--support/tcltexed/gif/Longleftrightarrow_big.gifbin0 -> 1359 bytes
-rw-r--r--support/tcltexed/gif/Longrightarrow_big.gifbin0 -> 414 bytes
-rw-r--r--support/tcltexed/gif/Omega_big.gifbin0 -> 1219 bytes
-rw-r--r--support/tcltexed/gif/Phi_big.gifbin0 -> 1193 bytes
-rw-r--r--support/tcltexed/gif/Pi_big.gifbin0 -> 1141 bytes
-rw-r--r--support/tcltexed/gif/Re_big.gifbin0 -> 1239 bytes
-rw-r--r--support/tcltexed/gif/Rightarrow_big.gifbin0 -> 239 bytes
-rw-r--r--support/tcltexed/gif/Sigma_big.gifbin0 -> 1177 bytes
-rw-r--r--support/tcltexed/gif/Theta_big.gifbin0 -> 1209 bytes
-rw-r--r--support/tcltexed/gif/Uparrow_big.gifbin0 -> 236 bytes
-rw-r--r--support/tcltexed/gif/Updownarrow_big.gifbin0 -> 355 bytes
-rw-r--r--support/tcltexed/gif/Upsilon_big.gifbin0 -> 1147 bytes
-rw-r--r--support/tcltexed/gif/Xi_big.gifbin0 -> 1139 bytes
-rw-r--r--support/tcltexed/gif/acute.gifbin0 -> 1175 bytes
-rw-r--r--support/tcltexed/gif/aleph.gifbin0 -> 1193 bytes
-rw-r--r--support/tcltexed/gif/alpha.gifbin0 -> 1157 bytes
-rw-r--r--support/tcltexed/gif/amalg.gifbin0 -> 1143 bytes
-rw-r--r--support/tcltexed/gif/angle.gifbin0 -> 1107 bytes
-rw-r--r--support/tcltexed/gif/approx.gifbin0 -> 1141 bytes
-rw-r--r--support/tcltexed/gif/ast.gifbin0 -> 1119 bytes
-rw-r--r--support/tcltexed/gif/asymp.gifbin0 -> 1135 bytes
-rw-r--r--support/tcltexed/gif/atop.gifbin0 -> 1181 bytes
-rw-r--r--support/tcltexed/gif/backslash.gifbin0 -> 1121 bytes
-rw-r--r--support/tcltexed/gif/bar.gifbin0 -> 1162 bytes
-rw-r--r--support/tcltexed/gif/beta.gifbin0 -> 1189 bytes
-rw-r--r--support/tcltexed/gif/bigcirc.gifbin0 -> 1163 bytes
-rw-r--r--support/tcltexed/gif/bigtriangledown.gifbin0 -> 368 bytes
-rw-r--r--support/tcltexed/gif/bigtriangleup.gifbin0 -> 1179 bytes
-rw-r--r--support/tcltexed/gif/bot.gifbin0 -> 177 bytes
-rw-r--r--support/tcltexed/gif/bowtie.gifbin0 -> 1179 bytes
-rw-r--r--support/tcltexed/gif/breve.gifbin0 -> 1185 bytes
-rw-r--r--support/tcltexed/gif/bullet.gifbin0 -> 1095 bytes
-rw-r--r--support/tcltexed/gif/cap.gifbin0 -> 1117 bytes
-rw-r--r--support/tcltexed/gif/cdot.gifbin0 -> 1055 bytes
-rw-r--r--support/tcltexed/gif/cdots.gifbin0 -> 1085 bytes
-rw-r--r--support/tcltexed/gif/check.gifbin0 -> 1159 bytes
-rw-r--r--support/tcltexed/gif/chi.gifbin0 -> 1157 bytes
-rw-r--r--support/tcltexed/gif/choose.gifbin0 -> 1386 bytes
-rw-r--r--support/tcltexed/gif/circ.gifbin0 -> 1109 bytes
-rw-r--r--support/tcltexed/gif/clubsuit.gifbin0 -> 1195 bytes
-rw-r--r--support/tcltexed/gif/cong.gifbin0 -> 1157 bytes
-rw-r--r--support/tcltexed/gif/coprod.gifbin0 -> 1153 bytes
-rw-r--r--support/tcltexed/gif/cup.gifbin0 -> 83 bytes
-rw-r--r--support/tcltexed/gif/dagger.gifbin0 -> 1113 bytes
-rw-r--r--support/tcltexed/gif/dashv.gifbin0 -> 164 bytes
-rw-r--r--support/tcltexed/gif/ddagger.gifbin0 -> 1147 bytes
-rw-r--r--support/tcltexed/gif/ddot.gifbin0 -> 1179 bytes
-rw-r--r--support/tcltexed/gif/ddots.gifbin0 -> 1083 bytes
-rw-r--r--support/tcltexed/gif/delta.gifbin0 -> 1173 bytes
-rw-r--r--support/tcltexed/gif/diamondsuit.gifbin0 -> 1189 bytes
-rw-r--r--support/tcltexed/gif/div.gifbin0 -> 1093 bytes
-rw-r--r--support/tcltexed/gif/dot.gifbin0 -> 1180 bytes
-rw-r--r--support/tcltexed/gif/doteq.gifbin0 -> 1069 bytes
-rw-r--r--support/tcltexed/gif/downarrow.gifbin0 -> 227 bytes
-rw-r--r--support/tcltexed/gif/ell.gifbin0 -> 1147 bytes
-rw-r--r--support/tcltexed/gif/emptyset.gifbin0 -> 1175 bytes
-rw-r--r--support/tcltexed/gif/epsilon.gifbin0 -> 1113 bytes
-rw-r--r--support/tcltexed/gif/equiv.gifbin0 -> 1073 bytes
-rw-r--r--support/tcltexed/gif/eta.gifbin0 -> 1165 bytes
-rw-r--r--support/tcltexed/gif/exists.gifbin0 -> 1107 bytes
-rw-r--r--support/tcltexed/gif/flat.gifbin0 -> 1121 bytes
-rw-r--r--support/tcltexed/gif/forall.gifbin0 -> 1155 bytes
-rw-r--r--support/tcltexed/gif/frac.gifbin0 -> 1209 bytes
-rw-r--r--support/tcltexed/gif/frown.gifbin0 -> 233 bytes
-rw-r--r--support/tcltexed/gif/gamma.gifbin0 -> 1131 bytes
-rw-r--r--support/tcltexed/gif/ge.gifbin0 -> 350 bytes
-rw-r--r--support/tcltexed/gif/gg.gifbin0 -> 593 bytes
-rw-r--r--support/tcltexed/gif/grave.gifbin0 -> 1173 bytes
-rw-r--r--support/tcltexed/gif/hat.gifbin0 -> 1163 bytes
-rw-r--r--support/tcltexed/gif/hbar.gifbin0 -> 1175 bytes
-rw-r--r--support/tcltexed/gif/heartsuit.gifbin0 -> 1181 bytes
-rw-r--r--support/tcltexed/gif/hookleftarrow.gifbin0 -> 1127 bytes
-rw-r--r--support/tcltexed/gif/hookrightarrow.gifbin0 -> 350 bytes
-rw-r--r--support/tcltexed/gif/imath.gifbin0 -> 1111 bytes
-rw-r--r--support/tcltexed/gif/in.gifbin0 -> 246 bytes
-rw-r--r--support/tcltexed/gif/infty.gifbin0 -> 1197 bytes
-rw-r--r--support/tcltexed/gif/int.gifbin0 -> 1113 bytes
-rw-r--r--support/tcltexed/gif/iota.gifbin0 -> 1083 bytes
-rw-r--r--support/tcltexed/gif/jmath.gifbin0 -> 1129 bytes
-rw-r--r--support/tcltexed/gif/kappa.gifbin0 -> 1147 bytes
-rw-r--r--support/tcltexed/gif/lambda.gifbin0 -> 1147 bytes
-rw-r--r--support/tcltexed/gif/lceil.gifbin0 -> 205 bytes
-rw-r--r--support/tcltexed/gif/ldots.gifbin0 -> 1103 bytes
-rw-r--r--support/tcltexed/gif/le.gifbin0 -> 1127 bytes
-rw-r--r--support/tcltexed/gif/leftarrow.gifbin0 -> 1109 bytes
-rw-r--r--support/tcltexed/gif/leftharpoondown.gifbin0 -> 169 bytes
-rw-r--r--support/tcltexed/gif/leftharpoonup.gifbin0 -> 1081 bytes
-rw-r--r--support/tcltexed/gif/leftrightarrow.gifbin0 -> 1159 bytes
-rw-r--r--support/tcltexed/gif/lfloor.gifbin0 -> 1122 bytes
-rw-r--r--support/tcltexed/gif/ll.gifbin0 -> 1215 bytes
-rw-r--r--support/tcltexed/gif/longleftarrow.gifbin0 -> 1275 bytes
-rw-r--r--support/tcltexed/gif/longleftrightarrow.gifbin0 -> 1353 bytes
-rw-r--r--support/tcltexed/gif/longrightarrow.gifbin0 -> 409 bytes
-rw-r--r--support/tcltexed/gif/mapsto.gifbin0 -> 1129 bytes
-rw-r--r--support/tcltexed/gif/masteroff.gifbin0 -> 1088 bytes
-rw-r--r--support/tcltexed/gif/masteron.gifbin0 -> 1464 bytes
-rw-r--r--support/tcltexed/gif/mid.gifbin0 -> 1087 bytes
-rw-r--r--support/tcltexed/gif/models.gifbin0 -> 1109 bytes
-rw-r--r--support/tcltexed/gif/mp.gifbin0 -> 1117 bytes
-rw-r--r--support/tcltexed/gif/mu.gifbin0 -> 1157 bytes
-rw-r--r--support/tcltexed/gif/nabla.gifbin0 -> 1179 bytes
-rw-r--r--support/tcltexed/gif/natural.gifbin0 -> 1109 bytes
-rw-r--r--support/tcltexed/gif/nearrow.gifbin0 -> 1137 bytes
-rw-r--r--support/tcltexed/gif/neg.gifbin0 -> 1051 bytes
-rw-r--r--support/tcltexed/gif/neq.gifbin0 -> 1149 bytes
-rw-r--r--support/tcltexed/gif/ni.gifbin0 -> 1141 bytes
-rw-r--r--support/tcltexed/gif/nu.gifbin0 -> 1127 bytes
-rw-r--r--support/tcltexed/gif/nwarrow.gifbin0 -> 357 bytes
-rw-r--r--support/tcltexed/gif/odot.gifbin0 -> 1179 bytes
-rw-r--r--support/tcltexed/gif/oint.gifbin0 -> 1139 bytes
-rw-r--r--support/tcltexed/gif/omega.gifbin0 -> 1145 bytes
-rw-r--r--support/tcltexed/gif/ominus.gifbin0 -> 1173 bytes
-rw-r--r--support/tcltexed/gif/oplus.gifbin0 -> 1195 bytes
-rw-r--r--support/tcltexed/gif/oslash.gifbin0 -> 1195 bytes
-rw-r--r--support/tcltexed/gif/otimes.gifbin0 -> 1215 bytes
-rw-r--r--support/tcltexed/gif/overbrace.gifbin0 -> 1496 bytes
-rw-r--r--support/tcltexed/gif/overline.gifbin0 -> 1396 bytes
-rw-r--r--support/tcltexed/gif/parallel.gifbin0 -> 1109 bytes
-rw-r--r--support/tcltexed/gif/partial.gifbin0 -> 1189 bytes
-rw-r--r--support/tcltexed/gif/perp.gifbin0 -> 1099 bytes
-rw-r--r--support/tcltexed/gif/phi.gifbin0 -> 1177 bytes
-rw-r--r--support/tcltexed/gif/pi.gifbin0 -> 1135 bytes
-rw-r--r--support/tcltexed/gif/pm.gifbin0 -> 1123 bytes
-rw-r--r--support/tcltexed/gif/prec.gifbin0 -> 1117 bytes
-rw-r--r--support/tcltexed/gif/preceq.gifbin0 -> 1123 bytes
-rw-r--r--support/tcltexed/gif/prime.gifbin0 -> 1085 bytes
-rw-r--r--support/tcltexed/gif/prod.gifbin0 -> 1145 bytes
-rw-r--r--support/tcltexed/gif/propto.gifbin0 -> 1161 bytes
-rw-r--r--support/tcltexed/gif/psi.gifbin0 -> 1181 bytes
-rw-r--r--support/tcltexed/gif/rceil.gifbin0 -> 204 bytes
-rw-r--r--support/tcltexed/gif/rfloor.gifbin0 -> 206 bytes
-rw-r--r--support/tcltexed/gif/rho.gifbin0 -> 1147 bytes
-rw-r--r--support/tcltexed/gif/rhoi.gifbin0 -> 1147 bytes
-rw-r--r--support/tcltexed/gif/rightarrow.gifbin0 -> 234 bytes
-rw-r--r--support/tcltexed/gif/rightharpoondown.gifbin0 -> 168 bytes
-rw-r--r--support/tcltexed/gif/rightharpoonup.gifbin0 -> 170 bytes
-rw-r--r--support/tcltexed/gif/rightleftharpoons.gifbin0 -> 1135 bytes
-rw-r--r--support/tcltexed/gif/searrow.gifbin0 -> 356 bytes
-rw-r--r--support/tcltexed/gif/setminus.gifbin0 -> 1121 bytes
-rw-r--r--support/tcltexed/gif/sharp.gifbin0 -> 1131 bytes
-rw-r--r--support/tcltexed/gif/sigma.gifbin0 -> 1123 bytes
-rw-r--r--support/tcltexed/gif/sim.gifbin0 -> 221 bytes
-rw-r--r--support/tcltexed/gif/simeq.gifbin0 -> 1131 bytes
-rw-r--r--support/tcltexed/gif/slaveoff.gifbin0 -> 791 bytes
-rw-r--r--support/tcltexed/gif/slaveon.gifbin0 -> 1129 bytes
-rw-r--r--support/tcltexed/gif/smile.gifbin0 -> 1107 bytes
-rw-r--r--support/tcltexed/gif/sonder_strich.gifbin0 -> 1105 bytes
-rw-r--r--support/tcltexed/gif/spadesuit.gifbin0 -> 1179 bytes
-rw-r--r--support/tcltexed/gif/sqcap.gifbin0 -> 1087 bytes
-rw-r--r--support/tcltexed/gif/sqcup.gifbin0 -> 175 bytes
-rw-r--r--support/tcltexed/gif/sqrt.gifbin0 -> 1306 bytes
-rw-r--r--support/tcltexed/gif/sqrtn.gifbin0 -> 1339 bytes
-rw-r--r--support/tcltexed/gif/sqsubseteq.gifbin0 -> 1083 bytes
-rw-r--r--support/tcltexed/gif/sqsupseteq.gifbin0 -> 175 bytes
-rw-r--r--support/tcltexed/gif/stackrel.gifbin0 -> 1162 bytes
-rw-r--r--support/tcltexed/gif/subset.gifbin0 -> 80 bytes
-rw-r--r--support/tcltexed/gif/subseteq.gifbin0 -> 1111 bytes
-rw-r--r--support/tcltexed/gif/succ.gifbin0 -> 241 bytes
-rw-r--r--support/tcltexed/gif/succeq.gifbin0 -> 241 bytes
-rw-r--r--support/tcltexed/gif/sum.gifbin0 -> 1161 bytes
-rw-r--r--support/tcltexed/gif/supset.gifbin0 -> 81 bytes
-rw-r--r--support/tcltexed/gif/supseteq.gifbin0 -> 239 bytes
-rw-r--r--support/tcltexed/gif/surd.gifbin0 -> 1165 bytes
-rw-r--r--support/tcltexed/gif/swarrow.gifbin0 -> 354 bytes
-rw-r--r--support/tcltexed/gif/tau.gifbin0 -> 1101 bytes
-rw-r--r--support/tcltexed/gif/theta.gifbin0 -> 1193 bytes
-rw-r--r--support/tcltexed/gif/tilde.gifbin0 -> 1181 bytes
-rw-r--r--support/tcltexed/gif/times.gifbin0 -> 1139 bytes
-rw-r--r--support/tcltexed/gif/top.gifbin0 -> 175 bytes
-rw-r--r--support/tcltexed/gif/triangle.gifbin0 -> 1161 bytes
-rw-r--r--support/tcltexed/gif/underbrace.gifbin0 -> 1523 bytes
-rw-r--r--support/tcltexed/gif/underline.gifbin0 -> 1399 bytes
-rw-r--r--support/tcltexed/gif/uparrow.gifbin0 -> 231 bytes
-rw-r--r--support/tcltexed/gif/updownarrow.gifbin0 -> 350 bytes
-rw-r--r--support/tcltexed/gif/uplus.gifbin0 -> 1159 bytes
-rw-r--r--support/tcltexed/gif/upsilon.gifbin0 -> 1139 bytes
-rw-r--r--support/tcltexed/gif/varepsilon.gifbin0 -> 1123 bytes
-rw-r--r--support/tcltexed/gif/varphi.gifbin0 -> 1153 bytes
-rw-r--r--support/tcltexed/gif/varpi.gifbin0 -> 1171 bytes
-rw-r--r--support/tcltexed/gif/varrho.gifbin0 -> 1143 bytes
-rw-r--r--support/tcltexed/gif/varsigma.gifbin0 -> 1107 bytes
-rw-r--r--support/tcltexed/gif/vartheta.gifbin0 -> 1175 bytes
-rw-r--r--support/tcltexed/gif/vdash.gifbin0 -> 163 bytes
-rw-r--r--support/tcltexed/gif/vec.gifbin0 -> 1194 bytes
-rw-r--r--support/tcltexed/gif/vee.gifbin0 -> 349 bytes
-rw-r--r--support/tcltexed/gif/wedge.gifbin0 -> 1137 bytes
-rw-r--r--support/tcltexed/gif/widehat.gifbin0 -> 1418 bytes
-rw-r--r--support/tcltexed/gif/widetilde.gifbin0 -> 1412 bytes
-rw-r--r--support/tcltexed/gif/wp.gifbin0 -> 1177 bytes
-rw-r--r--support/tcltexed/gif/wr.gifbin0 -> 1107 bytes
-rw-r--r--support/tcltexed/gif/xi.gifbin0 -> 1159 bytes
-rw-r--r--support/tcltexed/gif/zeta.gifbin0 -> 1157 bytes
-rw-r--r--support/tcltexed/gif/{.gifbin0 -> 1341 bytes
-rw-r--r--support/tcltexed/gif/}.gifbin0 -> 235 bytes
202 files changed, 0 insertions, 0 deletions
diff --git a/support/tcltexed/gif/Delta_big.gif b/support/tcltexed/gif/Delta_big.gif
new file mode 100644
index 0000000000..cde11e3fd7
--- /dev/null
+++ b/support/tcltexed/gif/Delta_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Downarrow_big.gif b/support/tcltexed/gif/Downarrow_big.gif
new file mode 100644
index 0000000000..16cef856bc
--- /dev/null
+++ b/support/tcltexed/gif/Downarrow_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Gamma_big.gif b/support/tcltexed/gif/Gamma_big.gif
new file mode 100644
index 0000000000..6772a176a5
--- /dev/null
+++ b/support/tcltexed/gif/Gamma_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Im_big.gif b/support/tcltexed/gif/Im_big.gif
new file mode 100644
index 0000000000..84d6334f06
--- /dev/null
+++ b/support/tcltexed/gif/Im_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Lambda_big.gif b/support/tcltexed/gif/Lambda_big.gif
new file mode 100644
index 0000000000..c795694c4b
--- /dev/null
+++ b/support/tcltexed/gif/Lambda_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Leftarrow_big.gif b/support/tcltexed/gif/Leftarrow_big.gif
new file mode 100644
index 0000000000..41f4a66410
--- /dev/null
+++ b/support/tcltexed/gif/Leftarrow_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Leftrightarrow_big.gif b/support/tcltexed/gif/Leftrightarrow_big.gif
new file mode 100644
index 0000000000..678e15bff9
--- /dev/null
+++ b/support/tcltexed/gif/Leftrightarrow_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Longleftarrow_big.gif b/support/tcltexed/gif/Longleftarrow_big.gif
new file mode 100644
index 0000000000..735a851737
--- /dev/null
+++ b/support/tcltexed/gif/Longleftarrow_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Longleftrightarrow_big.gif b/support/tcltexed/gif/Longleftrightarrow_big.gif
new file mode 100644
index 0000000000..246d45b339
--- /dev/null
+++ b/support/tcltexed/gif/Longleftrightarrow_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Longrightarrow_big.gif b/support/tcltexed/gif/Longrightarrow_big.gif
new file mode 100644
index 0000000000..ddd7f37f0b
--- /dev/null
+++ b/support/tcltexed/gif/Longrightarrow_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Omega_big.gif b/support/tcltexed/gif/Omega_big.gif
new file mode 100644
index 0000000000..7df6865162
--- /dev/null
+++ b/support/tcltexed/gif/Omega_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Phi_big.gif b/support/tcltexed/gif/Phi_big.gif
new file mode 100644
index 0000000000..7dca2c6a08
--- /dev/null
+++ b/support/tcltexed/gif/Phi_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Pi_big.gif b/support/tcltexed/gif/Pi_big.gif
new file mode 100644
index 0000000000..6e4e5367be
--- /dev/null
+++ b/support/tcltexed/gif/Pi_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Re_big.gif b/support/tcltexed/gif/Re_big.gif
new file mode 100644
index 0000000000..a421a96862
--- /dev/null
+++ b/support/tcltexed/gif/Re_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Rightarrow_big.gif b/support/tcltexed/gif/Rightarrow_big.gif
new file mode 100644
index 0000000000..25c3f6b646
--- /dev/null
+++ b/support/tcltexed/gif/Rightarrow_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Sigma_big.gif b/support/tcltexed/gif/Sigma_big.gif
new file mode 100644
index 0000000000..8ba8619fd2
--- /dev/null
+++ b/support/tcltexed/gif/Sigma_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Theta_big.gif b/support/tcltexed/gif/Theta_big.gif
new file mode 100644
index 0000000000..2df9542283
--- /dev/null
+++ b/support/tcltexed/gif/Theta_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Uparrow_big.gif b/support/tcltexed/gif/Uparrow_big.gif
new file mode 100644
index 0000000000..b779c65b1f
--- /dev/null
+++ b/support/tcltexed/gif/Uparrow_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Updownarrow_big.gif b/support/tcltexed/gif/Updownarrow_big.gif
new file mode 100644
index 0000000000..175763b58b
--- /dev/null
+++ b/support/tcltexed/gif/Updownarrow_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Upsilon_big.gif b/support/tcltexed/gif/Upsilon_big.gif
new file mode 100644
index 0000000000..b116aa8daa
--- /dev/null
+++ b/support/tcltexed/gif/Upsilon_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/Xi_big.gif b/support/tcltexed/gif/Xi_big.gif
new file mode 100644
index 0000000000..f1c0dbffad
--- /dev/null
+++ b/support/tcltexed/gif/Xi_big.gif
Binary files differ
diff --git a/support/tcltexed/gif/acute.gif b/support/tcltexed/gif/acute.gif
new file mode 100644
index 0000000000..eeff82758e
--- /dev/null
+++ b/support/tcltexed/gif/acute.gif
Binary files differ
diff --git a/support/tcltexed/gif/aleph.gif b/support/tcltexed/gif/aleph.gif
new file mode 100644
index 0000000000..4fe21e71bc
--- /dev/null
+++ b/support/tcltexed/gif/aleph.gif
Binary files differ
diff --git a/support/tcltexed/gif/alpha.gif b/support/tcltexed/gif/alpha.gif
new file mode 100644
index 0000000000..60e836510e
--- /dev/null
+++ b/support/tcltexed/gif/alpha.gif
Binary files differ
diff --git a/support/tcltexed/gif/amalg.gif b/support/tcltexed/gif/amalg.gif
new file mode 100644
index 0000000000..198edcf353
--- /dev/null
+++ b/support/tcltexed/gif/amalg.gif
Binary files differ
diff --git a/support/tcltexed/gif/angle.gif b/support/tcltexed/gif/angle.gif
new file mode 100644
index 0000000000..8e58cb31d4
--- /dev/null
+++ b/support/tcltexed/gif/angle.gif
Binary files differ
diff --git a/support/tcltexed/gif/approx.gif b/support/tcltexed/gif/approx.gif
new file mode 100644
index 0000000000..adcee8bc82
--- /dev/null
+++ b/support/tcltexed/gif/approx.gif
Binary files differ
diff --git a/support/tcltexed/gif/ast.gif b/support/tcltexed/gif/ast.gif
new file mode 100644
index 0000000000..1ee61d00fb
--- /dev/null
+++ b/support/tcltexed/gif/ast.gif
Binary files differ
diff --git a/support/tcltexed/gif/asymp.gif b/support/tcltexed/gif/asymp.gif
new file mode 100644
index 0000000000..c523d134a7
--- /dev/null
+++ b/support/tcltexed/gif/asymp.gif
Binary files differ
diff --git a/support/tcltexed/gif/atop.gif b/support/tcltexed/gif/atop.gif
new file mode 100644
index 0000000000..475fa9539c
--- /dev/null
+++ b/support/tcltexed/gif/atop.gif
Binary files differ
diff --git a/support/tcltexed/gif/backslash.gif b/support/tcltexed/gif/backslash.gif
new file mode 100644
index 0000000000..8f69b90930
--- /dev/null
+++ b/support/tcltexed/gif/backslash.gif
Binary files differ
diff --git a/support/tcltexed/gif/bar.gif b/support/tcltexed/gif/bar.gif
new file mode 100644
index 0000000000..74ec39dc9a
--- /dev/null
+++ b/support/tcltexed/gif/bar.gif
Binary files differ
diff --git a/support/tcltexed/gif/beta.gif b/support/tcltexed/gif/beta.gif
new file mode 100644
index 0000000000..e28861775d
--- /dev/null
+++ b/support/tcltexed/gif/beta.gif
Binary files differ
diff --git a/support/tcltexed/gif/bigcirc.gif b/support/tcltexed/gif/bigcirc.gif
new file mode 100644
index 0000000000..2345fc7bd4
--- /dev/null
+++ b/support/tcltexed/gif/bigcirc.gif
Binary files differ
diff --git a/support/tcltexed/gif/bigtriangledown.gif b/support/tcltexed/gif/bigtriangledown.gif
new file mode 100644
index 0000000000..6c51bf6a77
--- /dev/null
+++ b/support/tcltexed/gif/bigtriangledown.gif
Binary files differ
diff --git a/support/tcltexed/gif/bigtriangleup.gif b/support/tcltexed/gif/bigtriangleup.gif
new file mode 100644
index 0000000000..d7f7fa357a
--- /dev/null
+++ b/support/tcltexed/gif/bigtriangleup.gif
Binary files differ
diff --git a/support/tcltexed/gif/bot.gif b/support/tcltexed/gif/bot.gif
new file mode 100644
index 0000000000..8e9084e2d3
--- /dev/null
+++ b/support/tcltexed/gif/bot.gif
Binary files differ
diff --git a/support/tcltexed/gif/bowtie.gif b/support/tcltexed/gif/bowtie.gif
new file mode 100644
index 0000000000..bd6d446b3e
--- /dev/null
+++ b/support/tcltexed/gif/bowtie.gif
Binary files differ
diff --git a/support/tcltexed/gif/breve.gif b/support/tcltexed/gif/breve.gif
new file mode 100644
index 0000000000..b6a88ff759
--- /dev/null
+++ b/support/tcltexed/gif/breve.gif
Binary files differ
diff --git a/support/tcltexed/gif/bullet.gif b/support/tcltexed/gif/bullet.gif
new file mode 100644
index 0000000000..9012a05bf1
--- /dev/null
+++ b/support/tcltexed/gif/bullet.gif
Binary files differ
diff --git a/support/tcltexed/gif/cap.gif b/support/tcltexed/gif/cap.gif
new file mode 100644
index 0000000000..1f2b854efe
--- /dev/null
+++ b/support/tcltexed/gif/cap.gif
Binary files differ
diff --git a/support/tcltexed/gif/cdot.gif b/support/tcltexed/gif/cdot.gif
new file mode 100644
index 0000000000..0007b2ac41
--- /dev/null
+++ b/support/tcltexed/gif/cdot.gif
Binary files differ
diff --git a/support/tcltexed/gif/cdots.gif b/support/tcltexed/gif/cdots.gif
new file mode 100644
index 0000000000..6a9e6e989f
--- /dev/null
+++ b/support/tcltexed/gif/cdots.gif
Binary files differ
diff --git a/support/tcltexed/gif/check.gif b/support/tcltexed/gif/check.gif
new file mode 100644
index 0000000000..e64f5190d0
--- /dev/null
+++ b/support/tcltexed/gif/check.gif
Binary files differ
diff --git a/support/tcltexed/gif/chi.gif b/support/tcltexed/gif/chi.gif
new file mode 100644
index 0000000000..a27222d957
--- /dev/null
+++ b/support/tcltexed/gif/chi.gif
Binary files differ
diff --git a/support/tcltexed/gif/choose.gif b/support/tcltexed/gif/choose.gif
new file mode 100644
index 0000000000..b067661098
--- /dev/null
+++ b/support/tcltexed/gif/choose.gif
Binary files differ
diff --git a/support/tcltexed/gif/circ.gif b/support/tcltexed/gif/circ.gif
new file mode 100644
index 0000000000..b765a4efb1
--- /dev/null
+++ b/support/tcltexed/gif/circ.gif
Binary files differ
diff --git a/support/tcltexed/gif/clubsuit.gif b/support/tcltexed/gif/clubsuit.gif
new file mode 100644
index 0000000000..7ebcf81fd2
--- /dev/null
+++ b/support/tcltexed/gif/clubsuit.gif
Binary files differ
diff --git a/support/tcltexed/gif/cong.gif b/support/tcltexed/gif/cong.gif
new file mode 100644
index 0000000000..0d9f06dc2d
--- /dev/null
+++ b/support/tcltexed/gif/cong.gif
Binary files differ
diff --git a/support/tcltexed/gif/coprod.gif b/support/tcltexed/gif/coprod.gif
new file mode 100644
index 0000000000..7eb5f97751
--- /dev/null
+++ b/support/tcltexed/gif/coprod.gif
Binary files differ
diff --git a/support/tcltexed/gif/cup.gif b/support/tcltexed/gif/cup.gif
new file mode 100644
index 0000000000..971de06cae
--- /dev/null
+++ b/support/tcltexed/gif/cup.gif
Binary files differ
diff --git a/support/tcltexed/gif/dagger.gif b/support/tcltexed/gif/dagger.gif
new file mode 100644
index 0000000000..0595dea769
--- /dev/null
+++ b/support/tcltexed/gif/dagger.gif
Binary files differ
diff --git a/support/tcltexed/gif/dashv.gif b/support/tcltexed/gif/dashv.gif
new file mode 100644
index 0000000000..a68a67cb24
--- /dev/null
+++ b/support/tcltexed/gif/dashv.gif
Binary files differ
diff --git a/support/tcltexed/gif/ddagger.gif b/support/tcltexed/gif/ddagger.gif
new file mode 100644
index 0000000000..e03b70bf3c
--- /dev/null
+++ b/support/tcltexed/gif/ddagger.gif
Binary files differ
diff --git a/support/tcltexed/gif/ddot.gif b/support/tcltexed/gif/ddot.gif
new file mode 100644
index 0000000000..12e4ef7391
--- /dev/null
+++ b/support/tcltexed/gif/ddot.gif
Binary files differ
diff --git a/support/tcltexed/gif/ddots.gif b/support/tcltexed/gif/ddots.gif
new file mode 100644
index 0000000000..5c6f1d70f3
--- /dev/null
+++ b/support/tcltexed/gif/ddots.gif
Binary files differ
diff --git a/support/tcltexed/gif/delta.gif b/support/tcltexed/gif/delta.gif
new file mode 100644
index 0000000000..27aa787228
--- /dev/null
+++ b/support/tcltexed/gif/delta.gif
Binary files differ
diff --git a/support/tcltexed/gif/diamondsuit.gif b/support/tcltexed/gif/diamondsuit.gif
new file mode 100644
index 0000000000..dbf0328c3e
--- /dev/null
+++ b/support/tcltexed/gif/diamondsuit.gif
Binary files differ
diff --git a/support/tcltexed/gif/div.gif b/support/tcltexed/gif/div.gif
new file mode 100644
index 0000000000..e54a6b0a93
--- /dev/null
+++ b/support/tcltexed/gif/div.gif
Binary files differ
diff --git a/support/tcltexed/gif/dot.gif b/support/tcltexed/gif/dot.gif
new file mode 100644
index 0000000000..bb6585d9d5
--- /dev/null
+++ b/support/tcltexed/gif/dot.gif
Binary files differ
diff --git a/support/tcltexed/gif/doteq.gif b/support/tcltexed/gif/doteq.gif
new file mode 100644
index 0000000000..672ca72955
--- /dev/null
+++ b/support/tcltexed/gif/doteq.gif
Binary files differ
diff --git a/support/tcltexed/gif/downarrow.gif b/support/tcltexed/gif/downarrow.gif
new file mode 100644
index 0000000000..89016a92f5
--- /dev/null
+++ b/support/tcltexed/gif/downarrow.gif
Binary files differ
diff --git a/support/tcltexed/gif/ell.gif b/support/tcltexed/gif/ell.gif
new file mode 100644
index 0000000000..ab02f37f52
--- /dev/null
+++ b/support/tcltexed/gif/ell.gif
Binary files differ
diff --git a/support/tcltexed/gif/emptyset.gif b/support/tcltexed/gif/emptyset.gif
new file mode 100644
index 0000000000..2a949727a6
--- /dev/null
+++ b/support/tcltexed/gif/emptyset.gif
Binary files differ
diff --git a/support/tcltexed/gif/epsilon.gif b/support/tcltexed/gif/epsilon.gif
new file mode 100644
index 0000000000..9b8591c458
--- /dev/null
+++ b/support/tcltexed/gif/epsilon.gif
Binary files differ
diff --git a/support/tcltexed/gif/equiv.gif b/support/tcltexed/gif/equiv.gif
new file mode 100644
index 0000000000..a5a4346d25
--- /dev/null
+++ b/support/tcltexed/gif/equiv.gif
Binary files differ
diff --git a/support/tcltexed/gif/eta.gif b/support/tcltexed/gif/eta.gif
new file mode 100644
index 0000000000..f34907900c
--- /dev/null
+++ b/support/tcltexed/gif/eta.gif
Binary files differ
diff --git a/support/tcltexed/gif/exists.gif b/support/tcltexed/gif/exists.gif
new file mode 100644
index 0000000000..a794f3ec91
--- /dev/null
+++ b/support/tcltexed/gif/exists.gif
Binary files differ
diff --git a/support/tcltexed/gif/flat.gif b/support/tcltexed/gif/flat.gif
new file mode 100644
index 0000000000..0c2ef400b3
--- /dev/null
+++ b/support/tcltexed/gif/flat.gif
Binary files differ
diff --git a/support/tcltexed/gif/forall.gif b/support/tcltexed/gif/forall.gif
new file mode 100644
index 0000000000..cc8f5fff80
--- /dev/null
+++ b/support/tcltexed/gif/forall.gif
Binary files differ
diff --git a/support/tcltexed/gif/frac.gif b/support/tcltexed/gif/frac.gif
new file mode 100644
index 0000000000..f83f591957
--- /dev/null
+++ b/support/tcltexed/gif/frac.gif
Binary files differ
diff --git a/support/tcltexed/gif/frown.gif b/support/tcltexed/gif/frown.gif
new file mode 100644
index 0000000000..6f90236298
--- /dev/null
+++ b/support/tcltexed/gif/frown.gif
Binary files differ
diff --git a/support/tcltexed/gif/gamma.gif b/support/tcltexed/gif/gamma.gif
new file mode 100644
index 0000000000..dde47bcf31
--- /dev/null
+++ b/support/tcltexed/gif/gamma.gif
Binary files differ
diff --git a/support/tcltexed/gif/ge.gif b/support/tcltexed/gif/ge.gif
new file mode 100644
index 0000000000..a6ec3be5f3
--- /dev/null
+++ b/support/tcltexed/gif/ge.gif
Binary files differ
diff --git a/support/tcltexed/gif/gg.gif b/support/tcltexed/gif/gg.gif
new file mode 100644
index 0000000000..9e12f3f905
--- /dev/null
+++ b/support/tcltexed/gif/gg.gif
Binary files differ
diff --git a/support/tcltexed/gif/grave.gif b/support/tcltexed/gif/grave.gif
new file mode 100644
index 0000000000..b2cafb448f
--- /dev/null
+++ b/support/tcltexed/gif/grave.gif
Binary files differ
diff --git a/support/tcltexed/gif/hat.gif b/support/tcltexed/gif/hat.gif
new file mode 100644
index 0000000000..adbbf70833
--- /dev/null
+++ b/support/tcltexed/gif/hat.gif
Binary files differ
diff --git a/support/tcltexed/gif/hbar.gif b/support/tcltexed/gif/hbar.gif
new file mode 100644
index 0000000000..1eac5e7113
--- /dev/null
+++ b/support/tcltexed/gif/hbar.gif
Binary files differ
diff --git a/support/tcltexed/gif/heartsuit.gif b/support/tcltexed/gif/heartsuit.gif
new file mode 100644
index 0000000000..3f91c7ec31
--- /dev/null
+++ b/support/tcltexed/gif/heartsuit.gif
Binary files differ
diff --git a/support/tcltexed/gif/hookleftarrow.gif b/support/tcltexed/gif/hookleftarrow.gif
new file mode 100644
index 0000000000..0dcc5beba4
--- /dev/null
+++ b/support/tcltexed/gif/hookleftarrow.gif
Binary files differ
diff --git a/support/tcltexed/gif/hookrightarrow.gif b/support/tcltexed/gif/hookrightarrow.gif
new file mode 100644
index 0000000000..e4d4c875b6
--- /dev/null
+++ b/support/tcltexed/gif/hookrightarrow.gif
Binary files differ
diff --git a/support/tcltexed/gif/imath.gif b/support/tcltexed/gif/imath.gif
new file mode 100644
index 0000000000..c08e6bb874
--- /dev/null
+++ b/support/tcltexed/gif/imath.gif
Binary files differ
diff --git a/support/tcltexed/gif/in.gif b/support/tcltexed/gif/in.gif
new file mode 100644
index 0000000000..3ac341d7c2
--- /dev/null
+++ b/support/tcltexed/gif/in.gif
Binary files differ
diff --git a/support/tcltexed/gif/infty.gif b/support/tcltexed/gif/infty.gif
new file mode 100644
index 0000000000..66c8c83ad9
--- /dev/null
+++ b/support/tcltexed/gif/infty.gif
Binary files differ
diff --git a/support/tcltexed/gif/int.gif b/support/tcltexed/gif/int.gif
new file mode 100644
index 0000000000..62a23be499
--- /dev/null
+++ b/support/tcltexed/gif/int.gif
Binary files differ
diff --git a/support/tcltexed/gif/iota.gif b/support/tcltexed/gif/iota.gif
new file mode 100644
index 0000000000..24e3022964
--- /dev/null
+++ b/support/tcltexed/gif/iota.gif
Binary files differ
diff --git a/support/tcltexed/gif/jmath.gif b/support/tcltexed/gif/jmath.gif
new file mode 100644
index 0000000000..d41437fca7
--- /dev/null
+++ b/support/tcltexed/gif/jmath.gif
Binary files differ
diff --git a/support/tcltexed/gif/kappa.gif b/support/tcltexed/gif/kappa.gif
new file mode 100644
index 0000000000..a83ed7b7fe
--- /dev/null
+++ b/support/tcltexed/gif/kappa.gif
Binary files differ
diff --git a/support/tcltexed/gif/lambda.gif b/support/tcltexed/gif/lambda.gif
new file mode 100644
index 0000000000..a9bd827bdd
--- /dev/null
+++ b/support/tcltexed/gif/lambda.gif
Binary files differ
diff --git a/support/tcltexed/gif/lceil.gif b/support/tcltexed/gif/lceil.gif
new file mode 100644
index 0000000000..c50a40f1ff
--- /dev/null
+++ b/support/tcltexed/gif/lceil.gif
Binary files differ
diff --git a/support/tcltexed/gif/ldots.gif b/support/tcltexed/gif/ldots.gif
new file mode 100644
index 0000000000..3690a67738
--- /dev/null
+++ b/support/tcltexed/gif/ldots.gif
Binary files differ
diff --git a/support/tcltexed/gif/le.gif b/support/tcltexed/gif/le.gif
new file mode 100644
index 0000000000..a0da17c60e
--- /dev/null
+++ b/support/tcltexed/gif/le.gif
Binary files differ
diff --git a/support/tcltexed/gif/leftarrow.gif b/support/tcltexed/gif/leftarrow.gif
new file mode 100644
index 0000000000..11553e7d2e
--- /dev/null
+++ b/support/tcltexed/gif/leftarrow.gif
Binary files differ
diff --git a/support/tcltexed/gif/leftharpoondown.gif b/support/tcltexed/gif/leftharpoondown.gif
new file mode 100644
index 0000000000..5f29b40a25
--- /dev/null
+++ b/support/tcltexed/gif/leftharpoondown.gif
Binary files differ
diff --git a/support/tcltexed/gif/leftharpoonup.gif b/support/tcltexed/gif/leftharpoonup.gif
new file mode 100644
index 0000000000..cd1adc56cb
--- /dev/null
+++ b/support/tcltexed/gif/leftharpoonup.gif
Binary files differ
diff --git a/support/tcltexed/gif/leftrightarrow.gif b/support/tcltexed/gif/leftrightarrow.gif
new file mode 100644
index 0000000000..8052ef494a
--- /dev/null
+++ b/support/tcltexed/gif/leftrightarrow.gif
Binary files differ
diff --git a/support/tcltexed/gif/lfloor.gif b/support/tcltexed/gif/lfloor.gif
new file mode 100644
index 0000000000..b5fa01956a
--- /dev/null
+++ b/support/tcltexed/gif/lfloor.gif
Binary files differ
diff --git a/support/tcltexed/gif/ll.gif b/support/tcltexed/gif/ll.gif
new file mode 100644
index 0000000000..f7d6d9b88a
--- /dev/null
+++ b/support/tcltexed/gif/ll.gif
Binary files differ
diff --git a/support/tcltexed/gif/longleftarrow.gif b/support/tcltexed/gif/longleftarrow.gif
new file mode 100644
index 0000000000..6cf4179990
--- /dev/null
+++ b/support/tcltexed/gif/longleftarrow.gif
Binary files differ
diff --git a/support/tcltexed/gif/longleftrightarrow.gif b/support/tcltexed/gif/longleftrightarrow.gif
new file mode 100644
index 0000000000..54ed01d0a1
--- /dev/null
+++ b/support/tcltexed/gif/longleftrightarrow.gif
Binary files differ
diff --git a/support/tcltexed/gif/longrightarrow.gif b/support/tcltexed/gif/longrightarrow.gif
new file mode 100644
index 0000000000..7591741e51
--- /dev/null
+++ b/support/tcltexed/gif/longrightarrow.gif
Binary files differ
diff --git a/support/tcltexed/gif/mapsto.gif b/support/tcltexed/gif/mapsto.gif
new file mode 100644
index 0000000000..f1bcae62b0
--- /dev/null
+++ b/support/tcltexed/gif/mapsto.gif
Binary files differ
diff --git a/support/tcltexed/gif/masteroff.gif b/support/tcltexed/gif/masteroff.gif
new file mode 100644
index 0000000000..8fbf6c5c8d
--- /dev/null
+++ b/support/tcltexed/gif/masteroff.gif
Binary files differ
diff --git a/support/tcltexed/gif/masteron.gif b/support/tcltexed/gif/masteron.gif
new file mode 100644
index 0000000000..56b8f6898a
--- /dev/null
+++ b/support/tcltexed/gif/masteron.gif
Binary files differ
diff --git a/support/tcltexed/gif/mid.gif b/support/tcltexed/gif/mid.gif
new file mode 100644
index 0000000000..743eebaec9
--- /dev/null
+++ b/support/tcltexed/gif/mid.gif
Binary files differ
diff --git a/support/tcltexed/gif/models.gif b/support/tcltexed/gif/models.gif
new file mode 100644
index 0000000000..0e3a7b19d8
--- /dev/null
+++ b/support/tcltexed/gif/models.gif
Binary files differ
diff --git a/support/tcltexed/gif/mp.gif b/support/tcltexed/gif/mp.gif
new file mode 100644
index 0000000000..e2ab8000e0
--- /dev/null
+++ b/support/tcltexed/gif/mp.gif
Binary files differ
diff --git a/support/tcltexed/gif/mu.gif b/support/tcltexed/gif/mu.gif
new file mode 100644
index 0000000000..eea98d1f83
--- /dev/null
+++ b/support/tcltexed/gif/mu.gif
Binary files differ
diff --git a/support/tcltexed/gif/nabla.gif b/support/tcltexed/gif/nabla.gif
new file mode 100644
index 0000000000..7165b16b52
--- /dev/null
+++ b/support/tcltexed/gif/nabla.gif
Binary files differ
diff --git a/support/tcltexed/gif/natural.gif b/support/tcltexed/gif/natural.gif
new file mode 100644
index 0000000000..0e5ce043f5
--- /dev/null
+++ b/support/tcltexed/gif/natural.gif
Binary files differ
diff --git a/support/tcltexed/gif/nearrow.gif b/support/tcltexed/gif/nearrow.gif
new file mode 100644
index 0000000000..441e187297
--- /dev/null
+++ b/support/tcltexed/gif/nearrow.gif
Binary files differ
diff --git a/support/tcltexed/gif/neg.gif b/support/tcltexed/gif/neg.gif
new file mode 100644
index 0000000000..105581bd73
--- /dev/null
+++ b/support/tcltexed/gif/neg.gif
Binary files differ
diff --git a/support/tcltexed/gif/neq.gif b/support/tcltexed/gif/neq.gif
new file mode 100644
index 0000000000..296a2293a1
--- /dev/null
+++ b/support/tcltexed/gif/neq.gif
Binary files differ
diff --git a/support/tcltexed/gif/ni.gif b/support/tcltexed/gif/ni.gif
new file mode 100644
index 0000000000..abda3c278a
--- /dev/null
+++ b/support/tcltexed/gif/ni.gif
Binary files differ
diff --git a/support/tcltexed/gif/nu.gif b/support/tcltexed/gif/nu.gif
new file mode 100644
index 0000000000..dd35bb8e4c
--- /dev/null
+++ b/support/tcltexed/gif/nu.gif
Binary files differ
diff --git a/support/tcltexed/gif/nwarrow.gif b/support/tcltexed/gif/nwarrow.gif
new file mode 100644
index 0000000000..2a2dd80ffb
--- /dev/null
+++ b/support/tcltexed/gif/nwarrow.gif
Binary files differ
diff --git a/support/tcltexed/gif/odot.gif b/support/tcltexed/gif/odot.gif
new file mode 100644
index 0000000000..4db93355fb
--- /dev/null
+++ b/support/tcltexed/gif/odot.gif
Binary files differ
diff --git a/support/tcltexed/gif/oint.gif b/support/tcltexed/gif/oint.gif
new file mode 100644
index 0000000000..0156aa2220
--- /dev/null
+++ b/support/tcltexed/gif/oint.gif
Binary files differ
diff --git a/support/tcltexed/gif/omega.gif b/support/tcltexed/gif/omega.gif
new file mode 100644
index 0000000000..586db41fb7
--- /dev/null
+++ b/support/tcltexed/gif/omega.gif
Binary files differ
diff --git a/support/tcltexed/gif/ominus.gif b/support/tcltexed/gif/ominus.gif
new file mode 100644
index 0000000000..3b21535003
--- /dev/null
+++ b/support/tcltexed/gif/ominus.gif
Binary files differ
diff --git a/support/tcltexed/gif/oplus.gif b/support/tcltexed/gif/oplus.gif
new file mode 100644
index 0000000000..8a24c0c48b
--- /dev/null
+++ b/support/tcltexed/gif/oplus.gif
Binary files differ
diff --git a/support/tcltexed/gif/oslash.gif b/support/tcltexed/gif/oslash.gif
new file mode 100644
index 0000000000..123101b804
--- /dev/null
+++ b/support/tcltexed/gif/oslash.gif
Binary files differ
diff --git a/support/tcltexed/gif/otimes.gif b/support/tcltexed/gif/otimes.gif
new file mode 100644
index 0000000000..49463f806b
--- /dev/null
+++ b/support/tcltexed/gif/otimes.gif
Binary files differ
diff --git a/support/tcltexed/gif/overbrace.gif b/support/tcltexed/gif/overbrace.gif
new file mode 100644
index 0000000000..533e18673b
--- /dev/null
+++ b/support/tcltexed/gif/overbrace.gif
Binary files differ
diff --git a/support/tcltexed/gif/overline.gif b/support/tcltexed/gif/overline.gif
new file mode 100644
index 0000000000..f412e6665c
--- /dev/null
+++ b/support/tcltexed/gif/overline.gif
Binary files differ
diff --git a/support/tcltexed/gif/parallel.gif b/support/tcltexed/gif/parallel.gif
new file mode 100644
index 0000000000..8c6742578e
--- /dev/null
+++ b/support/tcltexed/gif/parallel.gif
Binary files differ
diff --git a/support/tcltexed/gif/partial.gif b/support/tcltexed/gif/partial.gif
new file mode 100644
index 0000000000..5abd7be41b
--- /dev/null
+++ b/support/tcltexed/gif/partial.gif
Binary files differ
diff --git a/support/tcltexed/gif/perp.gif b/support/tcltexed/gif/perp.gif
new file mode 100644
index 0000000000..e1a61e3c26
--- /dev/null
+++ b/support/tcltexed/gif/perp.gif
Binary files differ
diff --git a/support/tcltexed/gif/phi.gif b/support/tcltexed/gif/phi.gif
new file mode 100644
index 0000000000..4f94ccf913
--- /dev/null
+++ b/support/tcltexed/gif/phi.gif
Binary files differ
diff --git a/support/tcltexed/gif/pi.gif b/support/tcltexed/gif/pi.gif
new file mode 100644
index 0000000000..cf44f64122
--- /dev/null
+++ b/support/tcltexed/gif/pi.gif
Binary files differ
diff --git a/support/tcltexed/gif/pm.gif b/support/tcltexed/gif/pm.gif
new file mode 100644
index 0000000000..ee04ee3ed7
--- /dev/null
+++ b/support/tcltexed/gif/pm.gif
Binary files differ
diff --git a/support/tcltexed/gif/prec.gif b/support/tcltexed/gif/prec.gif
new file mode 100644
index 0000000000..20edb26a12
--- /dev/null
+++ b/support/tcltexed/gif/prec.gif
Binary files differ
diff --git a/support/tcltexed/gif/preceq.gif b/support/tcltexed/gif/preceq.gif
new file mode 100644
index 0000000000..ae1bebdf7c
--- /dev/null
+++ b/support/tcltexed/gif/preceq.gif
Binary files differ
diff --git a/support/tcltexed/gif/prime.gif b/support/tcltexed/gif/prime.gif
new file mode 100644
index 0000000000..a3204b0d71
--- /dev/null
+++ b/support/tcltexed/gif/prime.gif
Binary files differ
diff --git a/support/tcltexed/gif/prod.gif b/support/tcltexed/gif/prod.gif
new file mode 100644
index 0000000000..9f9e0a206c
--- /dev/null
+++ b/support/tcltexed/gif/prod.gif
Binary files differ
diff --git a/support/tcltexed/gif/propto.gif b/support/tcltexed/gif/propto.gif
new file mode 100644
index 0000000000..fe6b12c858
--- /dev/null
+++ b/support/tcltexed/gif/propto.gif
Binary files differ
diff --git a/support/tcltexed/gif/psi.gif b/support/tcltexed/gif/psi.gif
new file mode 100644
index 0000000000..78dff3227f
--- /dev/null
+++ b/support/tcltexed/gif/psi.gif
Binary files differ
diff --git a/support/tcltexed/gif/rceil.gif b/support/tcltexed/gif/rceil.gif
new file mode 100644
index 0000000000..8a383355b8
--- /dev/null
+++ b/support/tcltexed/gif/rceil.gif
Binary files differ
diff --git a/support/tcltexed/gif/rfloor.gif b/support/tcltexed/gif/rfloor.gif
new file mode 100644
index 0000000000..9a0ac84984
--- /dev/null
+++ b/support/tcltexed/gif/rfloor.gif
Binary files differ
diff --git a/support/tcltexed/gif/rho.gif b/support/tcltexed/gif/rho.gif
new file mode 100644
index 0000000000..6ddbc61123
--- /dev/null
+++ b/support/tcltexed/gif/rho.gif
Binary files differ
diff --git a/support/tcltexed/gif/rhoi.gif b/support/tcltexed/gif/rhoi.gif
new file mode 100644
index 0000000000..6ddbc61123
--- /dev/null
+++ b/support/tcltexed/gif/rhoi.gif
Binary files differ
diff --git a/support/tcltexed/gif/rightarrow.gif b/support/tcltexed/gif/rightarrow.gif
new file mode 100644
index 0000000000..7154e3a406
--- /dev/null
+++ b/support/tcltexed/gif/rightarrow.gif
Binary files differ
diff --git a/support/tcltexed/gif/rightharpoondown.gif b/support/tcltexed/gif/rightharpoondown.gif
new file mode 100644
index 0000000000..6862d83cb3
--- /dev/null
+++ b/support/tcltexed/gif/rightharpoondown.gif
Binary files differ
diff --git a/support/tcltexed/gif/rightharpoonup.gif b/support/tcltexed/gif/rightharpoonup.gif
new file mode 100644
index 0000000000..84812d72d3
--- /dev/null
+++ b/support/tcltexed/gif/rightharpoonup.gif
Binary files differ
diff --git a/support/tcltexed/gif/rightleftharpoons.gif b/support/tcltexed/gif/rightleftharpoons.gif
new file mode 100644
index 0000000000..863158c3d0
--- /dev/null
+++ b/support/tcltexed/gif/rightleftharpoons.gif
Binary files differ
diff --git a/support/tcltexed/gif/searrow.gif b/support/tcltexed/gif/searrow.gif
new file mode 100644
index 0000000000..24cbf677a0
--- /dev/null
+++ b/support/tcltexed/gif/searrow.gif
Binary files differ
diff --git a/support/tcltexed/gif/setminus.gif b/support/tcltexed/gif/setminus.gif
new file mode 100644
index 0000000000..8f69b90930
--- /dev/null
+++ b/support/tcltexed/gif/setminus.gif
Binary files differ
diff --git a/support/tcltexed/gif/sharp.gif b/support/tcltexed/gif/sharp.gif
new file mode 100644
index 0000000000..42442355af
--- /dev/null
+++ b/support/tcltexed/gif/sharp.gif
Binary files differ
diff --git a/support/tcltexed/gif/sigma.gif b/support/tcltexed/gif/sigma.gif
new file mode 100644
index 0000000000..675b6d519c
--- /dev/null
+++ b/support/tcltexed/gif/sigma.gif
Binary files differ
diff --git a/support/tcltexed/gif/sim.gif b/support/tcltexed/gif/sim.gif
new file mode 100644
index 0000000000..25e9e59fc0
--- /dev/null
+++ b/support/tcltexed/gif/sim.gif
Binary files differ
diff --git a/support/tcltexed/gif/simeq.gif b/support/tcltexed/gif/simeq.gif
new file mode 100644
index 0000000000..dbd3b6a4a1
--- /dev/null
+++ b/support/tcltexed/gif/simeq.gif
Binary files differ
diff --git a/support/tcltexed/gif/slaveoff.gif b/support/tcltexed/gif/slaveoff.gif
new file mode 100644
index 0000000000..195731493d
--- /dev/null
+++ b/support/tcltexed/gif/slaveoff.gif
Binary files differ
diff --git a/support/tcltexed/gif/slaveon.gif b/support/tcltexed/gif/slaveon.gif
new file mode 100644
index 0000000000..13c53f5251
--- /dev/null
+++ b/support/tcltexed/gif/slaveon.gif
Binary files differ
diff --git a/support/tcltexed/gif/smile.gif b/support/tcltexed/gif/smile.gif
new file mode 100644
index 0000000000..7434951ab7
--- /dev/null
+++ b/support/tcltexed/gif/smile.gif
Binary files differ
diff --git a/support/tcltexed/gif/sonder_strich.gif b/support/tcltexed/gif/sonder_strich.gif
new file mode 100644
index 0000000000..ad5619d86a
--- /dev/null
+++ b/support/tcltexed/gif/sonder_strich.gif
Binary files differ
diff --git a/support/tcltexed/gif/spadesuit.gif b/support/tcltexed/gif/spadesuit.gif
new file mode 100644
index 0000000000..c91aa34430
--- /dev/null
+++ b/support/tcltexed/gif/spadesuit.gif
Binary files differ
diff --git a/support/tcltexed/gif/sqcap.gif b/support/tcltexed/gif/sqcap.gif
new file mode 100644
index 0000000000..beb1ebfd9c
--- /dev/null
+++ b/support/tcltexed/gif/sqcap.gif
Binary files differ
diff --git a/support/tcltexed/gif/sqcup.gif b/support/tcltexed/gif/sqcup.gif
new file mode 100644
index 0000000000..ee72c6f5bf
--- /dev/null
+++ b/support/tcltexed/gif/sqcup.gif
Binary files differ
diff --git a/support/tcltexed/gif/sqrt.gif b/support/tcltexed/gif/sqrt.gif
new file mode 100644
index 0000000000..f56dbad7a3
--- /dev/null
+++ b/support/tcltexed/gif/sqrt.gif
Binary files differ
diff --git a/support/tcltexed/gif/sqrtn.gif b/support/tcltexed/gif/sqrtn.gif
new file mode 100644
index 0000000000..9099c17641
--- /dev/null
+++ b/support/tcltexed/gif/sqrtn.gif
Binary files differ
diff --git a/support/tcltexed/gif/sqsubseteq.gif b/support/tcltexed/gif/sqsubseteq.gif
new file mode 100644
index 0000000000..e238d62ad1
--- /dev/null
+++ b/support/tcltexed/gif/sqsubseteq.gif
Binary files differ
diff --git a/support/tcltexed/gif/sqsupseteq.gif b/support/tcltexed/gif/sqsupseteq.gif
new file mode 100644
index 0000000000..4b8c5b67dc
--- /dev/null
+++ b/support/tcltexed/gif/sqsupseteq.gif
Binary files differ
diff --git a/support/tcltexed/gif/stackrel.gif b/support/tcltexed/gif/stackrel.gif
new file mode 100644
index 0000000000..203e5400a3
--- /dev/null
+++ b/support/tcltexed/gif/stackrel.gif
Binary files differ
diff --git a/support/tcltexed/gif/subset.gif b/support/tcltexed/gif/subset.gif
new file mode 100644
index 0000000000..ef831098ad
--- /dev/null
+++ b/support/tcltexed/gif/subset.gif
Binary files differ
diff --git a/support/tcltexed/gif/subseteq.gif b/support/tcltexed/gif/subseteq.gif
new file mode 100644
index 0000000000..efe6747c58
--- /dev/null
+++ b/support/tcltexed/gif/subseteq.gif
Binary files differ
diff --git a/support/tcltexed/gif/succ.gif b/support/tcltexed/gif/succ.gif
new file mode 100644
index 0000000000..41f435c2f1
--- /dev/null
+++ b/support/tcltexed/gif/succ.gif
Binary files differ
diff --git a/support/tcltexed/gif/succeq.gif b/support/tcltexed/gif/succeq.gif
new file mode 100644
index 0000000000..de908e897a
--- /dev/null
+++ b/support/tcltexed/gif/succeq.gif
Binary files differ
diff --git a/support/tcltexed/gif/sum.gif b/support/tcltexed/gif/sum.gif
new file mode 100644
index 0000000000..fe9f7b3c88
--- /dev/null
+++ b/support/tcltexed/gif/sum.gif
Binary files differ
diff --git a/support/tcltexed/gif/supset.gif b/support/tcltexed/gif/supset.gif
new file mode 100644
index 0000000000..36d560510b
--- /dev/null
+++ b/support/tcltexed/gif/supset.gif
Binary files differ
diff --git a/support/tcltexed/gif/supseteq.gif b/support/tcltexed/gif/supseteq.gif
new file mode 100644
index 0000000000..7b39154eba
--- /dev/null
+++ b/support/tcltexed/gif/supseteq.gif
Binary files differ
diff --git a/support/tcltexed/gif/surd.gif b/support/tcltexed/gif/surd.gif
new file mode 100644
index 0000000000..b2da045a4b
--- /dev/null
+++ b/support/tcltexed/gif/surd.gif
Binary files differ
diff --git a/support/tcltexed/gif/swarrow.gif b/support/tcltexed/gif/swarrow.gif
new file mode 100644
index 0000000000..7ca6e35a02
--- /dev/null
+++ b/support/tcltexed/gif/swarrow.gif
Binary files differ
diff --git a/support/tcltexed/gif/tau.gif b/support/tcltexed/gif/tau.gif
new file mode 100644
index 0000000000..88866710de
--- /dev/null
+++ b/support/tcltexed/gif/tau.gif
Binary files differ
diff --git a/support/tcltexed/gif/theta.gif b/support/tcltexed/gif/theta.gif
new file mode 100644
index 0000000000..2c0e194697
--- /dev/null
+++ b/support/tcltexed/gif/theta.gif
Binary files differ
diff --git a/support/tcltexed/gif/tilde.gif b/support/tcltexed/gif/tilde.gif
new file mode 100644
index 0000000000..3378b4483e
--- /dev/null
+++ b/support/tcltexed/gif/tilde.gif
Binary files differ
diff --git a/support/tcltexed/gif/times.gif b/support/tcltexed/gif/times.gif
new file mode 100644
index 0000000000..895992b3ad
--- /dev/null
+++ b/support/tcltexed/gif/times.gif
Binary files differ
diff --git a/support/tcltexed/gif/top.gif b/support/tcltexed/gif/top.gif
new file mode 100644
index 0000000000..add9cf3d05
--- /dev/null
+++ b/support/tcltexed/gif/top.gif
Binary files differ
diff --git a/support/tcltexed/gif/triangle.gif b/support/tcltexed/gif/triangle.gif
new file mode 100644
index 0000000000..f336ccaf68
--- /dev/null
+++ b/support/tcltexed/gif/triangle.gif
Binary files differ
diff --git a/support/tcltexed/gif/underbrace.gif b/support/tcltexed/gif/underbrace.gif
new file mode 100644
index 0000000000..7b5cde2087
--- /dev/null
+++ b/support/tcltexed/gif/underbrace.gif
Binary files differ
diff --git a/support/tcltexed/gif/underline.gif b/support/tcltexed/gif/underline.gif
new file mode 100644
index 0000000000..9d510b7155
--- /dev/null
+++ b/support/tcltexed/gif/underline.gif
Binary files differ
diff --git a/support/tcltexed/gif/uparrow.gif b/support/tcltexed/gif/uparrow.gif
new file mode 100644
index 0000000000..27a5ec76e0
--- /dev/null
+++ b/support/tcltexed/gif/uparrow.gif
Binary files differ
diff --git a/support/tcltexed/gif/updownarrow.gif b/support/tcltexed/gif/updownarrow.gif
new file mode 100644
index 0000000000..80e578e323
--- /dev/null
+++ b/support/tcltexed/gif/updownarrow.gif
Binary files differ
diff --git a/support/tcltexed/gif/uplus.gif b/support/tcltexed/gif/uplus.gif
new file mode 100644
index 0000000000..b7e5bfe4b1
--- /dev/null
+++ b/support/tcltexed/gif/uplus.gif
Binary files differ
diff --git a/support/tcltexed/gif/upsilon.gif b/support/tcltexed/gif/upsilon.gif
new file mode 100644
index 0000000000..33efe83ff1
--- /dev/null
+++ b/support/tcltexed/gif/upsilon.gif
Binary files differ
diff --git a/support/tcltexed/gif/varepsilon.gif b/support/tcltexed/gif/varepsilon.gif
new file mode 100644
index 0000000000..6a125a3ef8
--- /dev/null
+++ b/support/tcltexed/gif/varepsilon.gif
Binary files differ
diff --git a/support/tcltexed/gif/varphi.gif b/support/tcltexed/gif/varphi.gif
new file mode 100644
index 0000000000..92295d9fa0
--- /dev/null
+++ b/support/tcltexed/gif/varphi.gif
Binary files differ
diff --git a/support/tcltexed/gif/varpi.gif b/support/tcltexed/gif/varpi.gif
new file mode 100644
index 0000000000..1ec754f843
--- /dev/null
+++ b/support/tcltexed/gif/varpi.gif
Binary files differ
diff --git a/support/tcltexed/gif/varrho.gif b/support/tcltexed/gif/varrho.gif
new file mode 100644
index 0000000000..2a60208c58
--- /dev/null
+++ b/support/tcltexed/gif/varrho.gif
Binary files differ
diff --git a/support/tcltexed/gif/varsigma.gif b/support/tcltexed/gif/varsigma.gif
new file mode 100644
index 0000000000..3605f5f2a6
--- /dev/null
+++ b/support/tcltexed/gif/varsigma.gif
Binary files differ
diff --git a/support/tcltexed/gif/vartheta.gif b/support/tcltexed/gif/vartheta.gif
new file mode 100644
index 0000000000..7fc9642af4
--- /dev/null
+++ b/support/tcltexed/gif/vartheta.gif
Binary files differ
diff --git a/support/tcltexed/gif/vdash.gif b/support/tcltexed/gif/vdash.gif
new file mode 100644
index 0000000000..56fed956ac
--- /dev/null
+++ b/support/tcltexed/gif/vdash.gif
Binary files differ
diff --git a/support/tcltexed/gif/vec.gif b/support/tcltexed/gif/vec.gif
new file mode 100644
index 0000000000..d9df2546f7
--- /dev/null
+++ b/support/tcltexed/gif/vec.gif
Binary files differ
diff --git a/support/tcltexed/gif/vee.gif b/support/tcltexed/gif/vee.gif
new file mode 100644
index 0000000000..f8ff5f7642
--- /dev/null
+++ b/support/tcltexed/gif/vee.gif
Binary files differ
diff --git a/support/tcltexed/gif/wedge.gif b/support/tcltexed/gif/wedge.gif
new file mode 100644
index 0000000000..c76ca9e0ec
--- /dev/null
+++ b/support/tcltexed/gif/wedge.gif
Binary files differ
diff --git a/support/tcltexed/gif/widehat.gif b/support/tcltexed/gif/widehat.gif
new file mode 100644
index 0000000000..f062cb3f12
--- /dev/null
+++ b/support/tcltexed/gif/widehat.gif
Binary files differ
diff --git a/support/tcltexed/gif/widetilde.gif b/support/tcltexed/gif/widetilde.gif
new file mode 100644
index 0000000000..23206032ce
--- /dev/null
+++ b/support/tcltexed/gif/widetilde.gif
Binary files differ
diff --git a/support/tcltexed/gif/wp.gif b/support/tcltexed/gif/wp.gif
new file mode 100644
index 0000000000..156f36d949
--- /dev/null
+++ b/support/tcltexed/gif/wp.gif
Binary files differ
diff --git a/support/tcltexed/gif/wr.gif b/support/tcltexed/gif/wr.gif
new file mode 100644
index 0000000000..6e860a82ca
--- /dev/null
+++ b/support/tcltexed/gif/wr.gif
Binary files differ
diff --git a/support/tcltexed/gif/xi.gif b/support/tcltexed/gif/xi.gif
new file mode 100644
index 0000000000..8007730b85
--- /dev/null
+++ b/support/tcltexed/gif/xi.gif
Binary files differ
diff --git a/support/tcltexed/gif/zeta.gif b/support/tcltexed/gif/zeta.gif
new file mode 100644
index 0000000000..f789781dbf
--- /dev/null
+++ b/support/tcltexed/gif/zeta.gif
Binary files differ
diff --git a/support/tcltexed/gif/{.gif b/support/tcltexed/gif/{.gif
new file mode 100644
index 0000000000..a2ad976800
--- /dev/null
+++ b/support/tcltexed/gif/{.gif
Binary files differ
diff --git a/support/tcltexed/gif/}.gif b/support/tcltexed/gif/}.gif
new file mode 100644
index 0000000000..203a8ae8f3
--- /dev/null
+++ b/support/tcltexed/gif/}.gif
Binary files differ