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

    "EQIUV" "IMPLIES" "true" "false" "MIN" "MAX"
    "ELEM" "SIZE" "SIZEOF" "MUL" "DIV" "MOD"
    "PLUS" "MINUS" "SETMINUS" "CAP" "CUP" "EQ"
    "NEQ" "LE" "LEQ" "GE" "GEQ")
  "Advanced LTL Format builtins")

(defvar tlsf-kw

     ("<->" . ?↔)
     ("EQUIV" . ?↔)     
     ("/=" . ?≢)
     ("!=" . ?≢)     
     ("NEQ" . ?≢)     
     ("<=" . ?≤)
     ("LEQ" . ?≤)     
