--- 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",