Variable: neocaml-prettify-symbols-alist

neocaml-prettify-symbols-alist is a customizable variable defined in neocaml.el.

Value

(("=>" . 8658) ("<-" . 8592) ("<=" . 8804) (">=" . 8805) ("<>" . 8800)
 ("==" . 8801) ("!=" . 8802) ("||" . 8744) ("&&" . 8743))

Documentation

Prettify symbols alist used by neocaml modes.

All replacements preserve column width.

This variable was added, or its default value changed, in neocaml version 0.1.0.

Source Code

;; Defined in /nix/store/ahssdx4rwzyxhyhavpn0bkznk13xrggi-emacs-packages-deps/share/emacs/site-lisp/elpa/neocaml-20260907.2015/neocaml.el
(defcustom neocaml-prettify-symbols-alist
  '(("=>" . ?⇒)
    ("<-" . ?←)
    ("<=" . ?≤)
    (">=" . ?≥)
    ("<>" . ?≠)
    ("==" . ?≡)
    ("!=" . ?≢)
    ("||" . ?∨)
    ("&&" . ?∧))
  "Prettify symbols alist used by neocaml modes.
All replacements preserve column width."
  :type '(alist :key-type string :value-type character)
  :group 'neocaml
  :package-version '(neocaml . "0.1.0"))