# HG changeset patch
# User wenzelm
# Date 849109287 -3600
# Node ID f9126d306a021969f57e7aeff838065009fa3403
# Parent  2888b4c1db7f1bf5b77c68afa6c035a1d780c0a4
improved some symbol names;

diff -r 2888b4c1db7f -r f9126d306a02 src/Pure/Syntax/symbol_font.ML
--- a/src/Pure/Syntax/symbol_font.ML	Wed Nov 27 16:40:57 1996 +0100
+++ b/src/Pure/Syntax/symbol_font.ML	Wed Nov 27 16:41:27 1996 +0100
@@ -24,10 +24,10 @@
       "Gamma", "Delta", "Theta", "Lambda", "Pi", "Sigma", "Phi",
   "Psi", "Omega", "alpha", "beta", "gamma", "delta", "epsilon", "zeta",
   "eta", "theta", "kappa", "lambda", "mu", "nu", "xi", "pi",
-  "rho", "sigma", "tau", "phi", "chi", "psi", "omega", "neg",
-  "vee", "wedge", "forall", "exists", "Vee", "lceil", "rceil", "lfloor",
-  "rfloor", "ldpar", "rdpar", "ldbrak", "rdbrak", "empty", "in", "subseteq",
-  "cap", "cup", "Cap", "Cup", "sqcap", "sqcup", "Sqcap", "Sqcup",
+  "rho", "sigma", "tau", "phi", "chi", "psi", "omega", "not",
+  "and", "or", "forall", "exists", "And", "lceil", "rceil", "lfloor",
+  "rfloor", "lparr", "rparr", "lbrakk", "rbrakk", "empty", "in", "subseteq",
+  "inter", "union", "Inter", "Union", "sqinter", "squnion", "Sqinter", "Squnion",
   "bottom", "doteq", "equiv", "noteq", "sqsubset", "sqsubseteq", "prec", "preceq",
   "succ", "succeq", "sim", "simeq", "le", "ge", "leftarrow", "midarrow",
   "rightarrow", "Leftarrow", "Midarrow", "Rightarrow", "rrightarrow", "mapsto", "leadsto", "up",