    ((not (fstar-subp-live-p))
     (user-error "Please start F* before jumping to a definition"))
    (t (fstar-subp--query (fstar-subp--info-query (point))
-                    (apply-partially #'fstar-subp--info-continuation
-                                     #'fstar--jump-to-definition-continuation
-                                     (point))))))
+                         (apply-partially #'fstar-subp--info-continuation
+                                          #'fstar--jump-to-definition-continuation
+                                          (point))))))
 
 ;;;; Starting the F* subprocess
 

nil and the corresponding continuation calls `eldoc-message'."
  (when (and fstar-compat--can-use-info (fstar-subp-available-p))
    (fstar-subp--query (fstar-subp--info-query (point))
                  (apply-partially #'fstar-subp--info-continuation
                                   #'fstar--eldoc-continuation
                                   (point)))
    ;; FIXME: use pos-tip for errors, or show errors in eldoc
    nil))


;;; Prettify symbols

(defcustom fstar-symbols-alist '(("exists" . ?∃) ("forall" . ?∀) ("fun" . ?λ)
                                 ("nat" . ?ℕ) ("int" . ?ℤ)
                                 ("True" . ?⊤) ("False" . ?⊥)
                                 ("*" . ?×) (":=" . ?≔) ("::" . ?⸬)
                                 ("<=" . ?≤) (">=" . ?≥) ("<>" . ?≠)
                                 ("/\\" . ?∧) ("\\/" . ?∨) ("~" . ?¬)
                                 ("<==>" . ?⟺) ("==>" . ?⟹) ;; ("<==" . ?⟸)
                                 ("->" . ?→) ("~>" . ?↝) ("=>" . ?⇒)
                                 ("<<" . ?≪) ;; (">>" . ?≫)
                                 ("<|" . ?◃) ("|>" . ?▹) ;; ("<||" . ?⧏) ("||>" . ?⧐)
                                 ;; ("(|" . ?⦅) ("|)" . ?⦆)
                                 ("'a" . ?α) ("'b" . ?β) ("'c" . ?γ)
                                 ("'d" . ?δ) ("'e" . ?ε))
  "Fstar symbols."
  :group 'fstar
  :type 'alist)
