      ("SETMINUS" . ?∕)
    ;  ("(<)" . ?⊆)
    ;  ("(>)" . ?⊇)
-     ("!" . ?¬)
-     ("NOT" . ?¬)     
      ("&&" . ?∧)
-     ("AND" . ?∧)     
+     ("AND" . ?∧)
+     ("FORALL" . ?∧)     
      ("||" . ?∨)
      ("OR" . ?∨)
+     ("EXISTS" . ?∨)
      ("->" . ?→)
      ("IMPLIES" . ?→)     
      ("<-" . ?∈)

  "Advanced LTL Format keywords")

(defvar tlsf-connectives-regexp
  "([+])\\|([*])\\|(/)\\|(<)\\|(>)\\|\!\\|&&\\|||\\|->\\|<->\\|==\\|<=\\|>=\\|/=\\|<\\|>\\|[+]\\|-\\|[*]\\|/\\|%\\||\\|~\\|\\.\\.")

(defvar tlsf-indent-keywords
  "^[ \t]*\\(INFO\\|GLOBAL\\|MAIN\\|PARAMETERS\\|DEFINITIONS\\|OUTPUTS\\|INPUTS\\|ASSUMPTIONS\\|INVARIANTS\\|GUARANTEES\\)")

(defvar tlsf-function-regexp "^\\s-*\\(\\w+\\)\\s-*\\((.*)\\)?\\s-*=[^=]")
(defvar tlsf-args-regexp "\\(\\w+\\)[,\\|)]")

     ("LE" . ?<)
     ("GE" . ?>)               
     ("==" . ?≡)
     ("EQ" . ?≡)
     ("!" . ?¬)
     ("NOT" . ?¬)          
     ("~" . ?∼)
     ("{}" . ?∅)
     ("G" . ?□)
