Replacing strings with Unicode symbols.

• company-math

  3 122 10.0 Emacs Lisp

  Completion back-ends for for math unicode symbols and latex tags

The most straight forward solution is probably the package company-math. (that's what I use but with corfu and cape)

• prettify-utils.el

  3 31 0.0 Emacs Lisp

  Helper functions for emacs' prettify-symbols-mode

PS. I am not sure how standard the prettify package is within the Emacs community. But here is a link to the code I am using: https://github.com/Ilazki/prettify-utils.el/blob/master/prettify-utils.el

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• corfu

  44 1,021 8.8 Emacs Lisp

  :desert_island: corfu.el - COmpletion in Region FUnction

The most straight forward solution is probably the package company-math. (that's what I use but with corfu and cape)

• cape

  17 541 8.8 Emacs Lisp

  🦸cape.el - Completion At Point Extensions (by minad)

The most straight forward solution is probably the package company-math. (that's what I use but with corfu and cape)

• math-symbol-lists

  2 33 10.0 Emacs Lisp

  Lists of Unicode mathematical symbols and latex commands

(use-package math-symbol-lists :ensure t :config (quail-define-package "math" "UTF-8" "Ω" t "LaTeX-like input of mathematical characters as unicode. See https://github.com/vspinu/math-symbol-lists for details." '(("\t" . quail-completion)) t t nil nil nil nil nil nil nil t) (mapc (lambda (x) (if (cddr x) (quail-defrule (cadr x) (car (cddr x))))) (append math-symbol-list-basic math-symbol-list-extended math-symbol-list-superscripts math-symbol-list-subscripts)))

• lean-mode

  2 68 1.7 Emacs Lisp

  Emacs mode for Lean

  

You might also be interested in how Emacs lean-mode for the Lean proof assistant adds such an input method (also using quail).

• lean4-mode

  2 54 5.8 Emacs Lisp

  Emacs major mode for Lean 4

  

There is also an input method for lean4-mode. It is based on a table for VSCode extension, so I think it offers a decent set of symbols.

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• julia-emacs

  3 277 4.7 Emacs Lisp

  Julia support in Emacs.

  

Suggest a related project