--- a/FIXME-TODO	Thu Jan 21 12:03:47 2010 +0100
+++ b/FIXME-TODO	Thu Jan 21 12:50:43 2010 +0100
@@ -64,4 +64,6 @@
       as "rconst"
 
   That means "qconst :: qty" is not read as a term, but
-  as two entities.
\ No newline at end of file
+  as two entities.
+
+- Add syntax for Bexeq, for example "\<exists>!!"