symbols.patch

diff --git a/src/preproc/eqn/lex.cpp b/src/preproc/eqn/lex.cpp
index b6f15bd..2f2a759 100644
--- a/src/preproc/eqn/lex.cpp
+++ b/src/preproc/eqn/lex.cpp
@@ -239,6 +239,25 @@ static struct builtin_def common_defs[] = {
   { "cdot", "type \"binary\" \\(md" },
   { "cdots", "type \"inner\" { \\(md \\(md \\(md }" },
   { "dollar", "$" },
+  { "emdash", "\\[em]"},
+  { "endash", "\\[en]"},
+  { "exists", "type \"operator\" \\[te]"},
+
+  { "forall", "type \"operator\" \\[fa]"},
+  { "suchthat", "type \"operator\" \\[st]"},
+  { "angleleft", "type \"opening\" \\[la]"},
+  { "angleright", "type \"closing\" \\[ra]"},
+  { "arrowboth", "type \"binary\" \\[<>]"},
+  { "implies", "type \"binary\" \\[rA]"},
+  { "qed", "\\0\\[sq]"},
+  { "therefore", "type \"operator\" \\[tf]"},
+  { "divide", "type \"binary\" \\[di]"},
+  { "emptyset", "\\[es]"},
+  { "element", "type \"binary\" \\[mo]"},
+  { "notelement", "type \"binary\" \\[nm]"},
+  { "subset", "type \"binary\" \\[sb]"},
+  { "notsubset", "type \"binary\" \\[nb]"},
+  { "reflexsubset", "type \"binary\" \\[ib]"},
 };  
 
 /* composite definitions that require troff size and motion operators */

{x element A exists b} over {a notelement C subset D} forall x qed