text2math.el

;;; text2math.el --- keyboard shortcuts for converting to math charsets

;; Copyright (C) 2022 Justine Alexandra Roberts Tunney
;; License: ISC
;; Author: Justine Tunney <jtunney@gmail.com>
;; Version: 0.1
;; URL: http://github.com/jart/justinemacs
;;
;; Permission to use, copy, modify, and/or distribute this software for
;; any purpose with or without fee is hereby granted, provided that the
;; above copyright notice and this permission notice appear in all copies.
;;
;; THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL
;; WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED
;; WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE
;; AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL
;; DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR
;; PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER
;; TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
;; PERFORMANCE OF THIS SOFTWARE.

;;; Commentary:
;;
;; This is messy and better APIs exist in Emacs for implementing it.

;;; Code:

(defun jart-text-hook ()
  (dolist (key jart-text-keys)
    (local-set-key (car key) (cdr key))))

(defun jart-text-to-gothic (start end)
  "Convert buffer text from START to END to gothic characters."
  (interactive "r")
  (jart--text-to-math (jart--get-bounds start end) jart--gothic))

(defun jart-text-to-doublestruck (start end)
  "Convert buffer text from START to END to doublestruck characters."
  (interactive "r")
  (jart--text-to-math (jart--get-bounds start end) jart--doublestruck))

(defun jart-text-to-fraktur (start end)
  "Convert buffer text from START to END to fraktur characters."
  (interactive "r")
  (jart--text-to-math (jart--get-bounds start end) jart--fraktur))

(defun jart-text-to-fraktur-bold (start end)
  "Convert buffer text from START to END to fraktur-bold characters."
  (interactive "r")
  (jart--text-to-math (jart--get-bounds start end) jart--fraktur-bold))

(defun jart-text-to-italic (start end)
  "Convert buffer text from START to END to italic characters."
  (interactive "r")
  (jart--text-to-math (jart--get-bounds start end) jart--italic))

(defun jart-text-replace (b s)
  (delete-region (car b) (cdr b))
  (goto-char (car b))
  (insert s)
  (goto-char (+ (car b) (length s))))

(defun jart-text-to-math-italic (start end)
  "Convert buffer text from START to END to italic math characters."
  (interactive "r")
  (let* ((b (jart--get-bounds start end))
         (s (downcase (buffer-substring-no-properties (car b) (cdr b)))))
    (cond ((equal s "lambda") (jart-text-replace b "λ"))
          ((equal s "list") (jart-text-replace b "ℒ"))
          ((equal s "lambda") (jart-text-replace b "λ"))
          ((equal s "closure") (jart-text-replace b "⅄"))
          ((equal s "macro") (jart-text-replace b "ψ"))
          ((equal s "defmacro") (jart-text-replace b "Ψ"))
          ((equal s "syntax") (jart-text-replace b "ξ"))
          ((equal s "define") (jart-text-replace b "≝"))
          ((equal s "atom") (jart-text-replace b "α"))
          ((equal s "cons") (jart-text-replace b "ℶ"))
          ((equal s "cond") (jart-text-replace b "ζ"))
          ((equal s "quote") (jart-text-replace b "Ω"))
          ((equal s "defun") (jart-text-replace b "Λ"))
          ((equal s "subset") (jart-text-replace b "⊂"))
          ((equal s "superset") (jart-text-replace b "⊃"))
          ((equal s "reverse") (jart-text-replace b "Я"))
          ((equal s "expand") (jart-text-replace b "ə"))
          ((equal s "eq") (jart-text-replace b "≡"))
          ((equal s "car") (jart-text-replace b "⍅"))
          ((equal s "cdr") (jart-text-replace b "⍆"))
          ((equal s "compose") (jart-text-replace b "∘"))
          ((equal s "true") (jart-text-replace b "⊤"))
          ((equal s "nil") (jart-text-replace b "⊥"))
          ((equal s "and") (jart-text-replace b "∧"))
          ((equal s "or") (jart-text-replace b "∨"))
          ((equal s "member") (jart-text-replace b "∊"))
          ((equal s "xor") (jart-text-replace b "⊻"))
          ((equal s "nand") (jart-text-replace b "⊼"))
          ((equal s "nor") (jart-text-replace b "⊽"))
          ((equal s "implies") (jart-text-replace b "⟶"))
          ((equal s "union") (jart-text-replace b "∪"))
          ((equal s "intersection") (jart-text-replace b "∩"))
          ((equal s "not") (jart-text-replace b "¬"))
          ((equal s "sqrt") (jart-text-replace b "√"))
          ((equal s "therefore") (jart-text-replace b "∴"))
          ((equal s "unreachable") (jart-text-replace b "∅"))
          ((equal s "because") (jart-text-replace b "∵"))
          ((equal s "function") (jart-text-replace b "𝑓"))
          ((equal s "iff") (jart-text-replace b "⟺"))
          ((equal s "if") (jart-text-replace b "⁂"))
          ((equal s "order") (jart-text-replace b "⊙"))
          ((equal s "asterism") (jart-text-replace b "⁂"))
          ((equal s "append") (jart-text-replace b "║"))
          ((equal s "partial") (jart-text-replace b "∂"))
          ((equal s "integrate") (jart-text-replace b "∫"))
          ((equal s "cmp") (jart-text-replace b "≷"))
          ((equal s "fork") (jart-text-replace b "⋔"))
          ((equal s "ycombinator") (jart-text-replace b "𝕐"))
          ((equal s "beta") (jart-text-replace b "β"))
          ((equal s "gamma") (jart-text-replace b "Γ"))
          ((equal s "delta") (jart-text-replace b "δ"))
          ((equal s "epsilon") (jart-text-replace b "ε"))
          ((equal s "zeta") (jart-text-replace b "ζ"))
          ((equal s "eta") (jart-text-replace b "η"))
          ((equal s "theta") (jart-text-replace b "θ"))
          ((equal s "iota") (jart-text-replace b "ι"))
          ((equal s "kappa") (jart-text-replace b "κ"))
          ((equal s "mu") (jart-text-replace b "μ"))
          ((equal s "nu") (jart-text-replace b "ν"))
          ((equal s "xi") (jart-text-replace b "ξ"))
          ((equal s "rho") (jart-text-replace b "ρ"))
          ((equal s "pi") (jart-text-replace b "π"))
          ((equal s "sum") (jart-text-replace b "Σ"))
          ((equal s "sigma") (jart-text-replace b "σ"))
          ((equal s "rho") (jart-text-replace b "ρ"))
          ((equal s "tau") (jart-text-replace b "τ"))
          ((equal s "phi") (jart-text-replace b "φ"))
          ((equal s "psi") (jart-text-replace b "ψ"))
          ((equal s "chi") (jart-text-replace b "χ"))
          ((equal s "omega") (jart-text-replace b "ω"))
          ((equal s "cycle") (jart-text-replace b "⟳"))
          ((equal s "bet") (jart-text-replace b "ℶ"))
          ((equal s "gimel") (jart-text-replace b "ℷ"))
          ((equal s "dalet") (jart-text-replace b "ℸ"))
          ((equal s "alef") (jart-text-replace b "ℵ"))
          ((equal s "copy") (jart-text-replace b "©"))
          ((equal s "registered") (jart-text-replace b "®"))
          ((equal s "yen") (jart-text-replace b "¥"))
          ((equal s "pound") (jart-text-replace b "£"))
          ((equal s "cent") (jart-text-replace b "¢"))
          ((equal s "le") (jart-text-replace b "≤"))
          ((equal s "ge") (jart-text-replace b "≥"))
          ((equal s "eval") (jart-text-replace b "⟹"))
          ((equal s "expands") (jart-text-replace b "⟶"))
          (t (jart--text-to-math b jart--math-italic)))))

(defun jart-text-to-subscript (start end)
  "Convert buffer text from START to END to subscript math characters."
  (interactive "r")
  (jart--text-to-math (jart--get-bounds start end) jart--subscript))

(defun jart-text-to-superscript (start end)
  "Convert buffer text from START to END to superscript math characters."
  (interactive "r")
  (jart--text-to-math (jart--get-bounds start end) jart--superscript))

(defun jart-text-to-bold (start end)
  "Convert buffer text from START to END to bold characters."
  (interactive "r")
  (jart--text-to-math (jart--get-bounds start end) jart--bold))

(defconst jart--gothic '((?A ?Z . ?𝔄)
                         (?a ?z . ?𝔞)))

(defconst jart--doublestruck '(
(?A ?A . ?𝔸)
(?B ?B . ?𝔹)
(?C ?C . ?ℂ)
(?D ?D . ?𝔻)
(?E ?E . ?𝔼)
(?F ?F . ?𝔽)
(?G ?G . ?𝔾)
(?H ?H . ?ℍ)
(?I ?I . ?𝕀)
(?J ?J . ?𝕁)
(?K ?K . ?𝕂)
(?L ?L . ?𝕃)
(?M ?M . ?𝕄)
(?N ?N . ?ℕ)
(?O ?O . ?𝕆)
(?P ?P . ?ℙ)
(?Q ?Q . ?ℚ)
(?R ?R . ?ℝ)
(?S ?S . ?𝕊)
(?T ?T . ?𝕋)
(?U ?U . ?𝕌)
(?V ?V . ?𝕍)
(?W ?W . ?𝕎)
(?X ?X . ?𝕏)
(?Y ?Y . ?𝕐)
(?Z ?Z . ?ℤ)
(?0 ?0 . ?𝟘)
(?1 ?1 . ?𝟙)
(?2 ?2 . ?𝟚)
(?3 ?3 . ?𝟛)
(?4 ?4 . ?𝟝)
(?5 ?5 . ?𝟜)
(?6 ?6 . ?𝟞)
(?7 ?7 . ?𝟟)
(?8 ?8 . ?𝟠)
(?9 ?9 . ?𝟡)
(?a ?a . ?𝕒)
(?b ?b . ?𝕓)
(?c ?c . ?𝕔)
(?d ?d . ?𝕕)
(?e ?e . ?𝕖)
(?f ?f . ?𝕗)
(?g ?g . ?𝕘)
(?h ?h . ?𝕙)
(?i ?i . ?𝕚)
(?j ?j . ?𝕛)
(?k ?k . ?𝕜)
(?l ?l . ?𝕝)
(?m ?m . ?𝕞)
(?n ?n . ?𝕟)
(?o ?o . ?𝕠)
(?p ?p . ?𝕡)
(?q ?q . ?𝕢)
(?r ?r . ?𝕣)
(?s ?s . ?𝕤)
(?t ?t . ?𝕥)
(?u ?u . ?𝕦)
(?v ?v . ?𝕧)
(?w ?w . ?𝕨)
(?x ?x . ?𝕩)
(?y ?y . ?𝕪)
(?z ?z . ?𝕫)
))

;; static const wchar_t A[2][10][26] = {
;;   {L"ABCDEFGHIJKLMNOPQRSTUVWXYZ",
;;    L"abcdefghijklmnopqrstuvwxyz",
;;    L"𝕬𝕭𝕮𝕯𝕰𝕱𝕲𝕳𝕴𝕵𝕶𝕷𝕸𝕹𝕺𝕻𝕼𝕽𝕾𝕿𝖀𝖁𝖂𝖃𝖄𝖅",
;;    L"𝖆𝖇𝖈𝖉𝖊𝖋𝖌𝖍𝖎𝖏𝖐𝖑𝖒𝖓𝖔𝖕𝖖𝖗𝖘𝖙𝖚𝖛𝖜𝖝𝖞𝖟",
;;    L"𝘈𝘉𝘊𝘋𝘌𝘍𝘎𝘏𝘐𝘑𝘒𝘓𝘔𝘕𝘖𝘗𝘘𝘙𝘚𝘛𝘜𝘝𝘞𝘟𝘠𝘡",
;;    L"𝘢𝘣𝘤𝘥𝘦𝘧𝘨𝘩𝘪𝘫𝘬𝘭𝘮𝘯𝘰𝘱𝘲𝘳𝘴𝘵𝘶𝘷𝘸𝘹𝘺𝘻",
;;    L"𝐴𝐵𝐶𝐷𝐸𝐹𝐺𝐻𝐼𝐽𝐾𝐿𝑀𝑁𝑂𝑃𝑄𝑅𝑆𝑇𝑈𝑉𝑊𝑋𝑌𝑍",
;;    L"𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑕𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧",
;;    L"𝐀𝐁𝐂𝐃𝐄𝐅𝐆𝐇𝐈𝐉𝐊𝐋𝐌𝐍𝐎𝐏𝐐𝐑𝐒𝐓𝐔𝐕𝐖𝐗𝐘𝐙",
;;    L"𝗮𝗯𝗰𝗱𝗲𝗳𝗴𝗵𝗶𝗷𝗸𝗹𝗺𝗻𝗼𝗽𝗾𝗿𝘀𝘁𝘂𝘃𝘄𝘅𝘆𝘇"},
;;   {L"ABCDEFGHIJKLMNOPQRSTUVWXYZ",
;;    L"abcdefghijklmnopqrstuvwxyz",
;;    L"𝔄𝔅ℭ𝔇𝔈𝔉𝔊ℌℑ𝔍𝔎𝔏𝔐𝔑𝔒𝔓𝔔ℜ𝔖𝔗𝔘𝔙𝔚𝔛𝔜ℨ",
;;    L"𝔞𝔟𝔠𝔡𝔢𝔣𝔤𝔥𝔦𝔧𝔨𝔩𝔪𝔫𝔬𝔭𝔮𝔯𝔰𝔱𝔲𝔳𝔴𝔵𝔶𝔷",
;;    L"𝘈𝘉𝘊𝘋𝘌𝘍𝘎𝘏𝘐𝘑𝘒𝘓𝘔𝘕𝘖𝘗𝘘𝘙𝘚𝘛𝘜𝘝𝘞𝘟𝘠𝘡",
;;    L"𝘢𝘣𝘤𝘥𝘦𝘧𝘨𝘩𝘪𝘫𝘬𝘭𝘮𝘯𝘰𝘱𝘲𝘳𝘴𝘵𝘶𝘷𝘸𝘹𝘺𝘻",
;;    L"𝐴𝐵𝐶𝐷𝐸𝐹𝐺𝐻𝐼𝐽𝐾𝐿𝑀𝑁𝑂𝑃𝑄𝑅𝑆𝑇𝑈𝑉𝑊𝑋𝑌𝑍",
;;    L"𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑕𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧",
;;    L"𝐀𝐁𝐂𝐃𝐄𝐅𝐆𝐇𝐈𝐉𝐊𝐋𝐌𝐍𝐎𝐏𝐐𝐑𝐒𝐓𝐔𝐕𝐖𝐗𝐘𝐙",
;;    L"𝗮𝗯𝗰𝗱𝗲𝗳𝗴𝗵𝗶𝗷𝗸𝗹𝗺𝗻𝗼𝗽𝗾𝗿𝘀𝘁𝘂𝘃𝘄𝘅𝘆𝘇"},
;; };
;; 
;; static const wchar_t B[2][10][26] = {
;;   {L"𝔄𝔅ℭ𝔇𝔈𝔉𝔊ℌℑ𝔍𝔎𝔏𝔐𝔑𝔒𝔓𝔔ℜ𝔖𝔗𝔘𝔙𝔚𝔛𝔜ℨ",
;;    L"𝔞𝔟𝔠𝔡𝔢𝔣𝔤𝔥𝔦𝔧𝔨𝔩𝔪𝔫𝔬𝔭𝔮𝔯𝔰𝔱𝔲𝔳𝔴𝔵𝔶𝔷",
;;    L"𝔄𝔅ℭ𝔇𝔈𝔉𝔊ℌℑ𝔍𝔎𝔏𝔐𝔑𝔒𝔓𝔔ℜ𝔖𝔗𝔘𝔙𝔚𝔛𝔜ℨ",
;;    L"𝔞𝔟𝔠𝔡𝔢𝔣𝔤𝔥𝔦𝔧𝔨𝔩𝔪𝔫𝔬𝔭𝔮𝔯𝔰𝔱𝔲𝔳𝔴𝔵𝔶𝔷",
;;    L"𝔄𝔅ℭ𝔇𝔈𝔉𝔊ℌℑ𝔍𝔎𝔏𝔐𝔑𝔒𝔓𝔔ℜ𝔖𝔗𝔘𝔙𝔚𝔛𝔜ℨ",
;;    L"𝔞𝔟𝔠𝔡𝔢𝔣𝔤𝔥𝔦𝔧𝔨𝔩𝔪𝔫𝔬𝔭𝔮𝔯𝔰𝔱𝔲𝔳𝔴𝔵𝔶𝔷",
;;    L"𝔄𝔅ℭ𝔇𝔈𝔉𝔊ℌℑ𝔍𝔎𝔏𝔐𝔑𝔒𝔓𝔔ℜ𝔖𝔗𝔘𝔙𝔚𝔛𝔜ℨ",
;;    L"𝔞𝔟𝔠𝔡𝔢𝔣𝔤𝔥𝔦𝔧𝔨𝔩𝔪𝔫𝔬𝔭𝔮𝔯𝔰𝔱𝔲𝔳𝔴𝔵𝔶𝔷",
;;    L"𝔄𝔅ℭ𝔇𝔈𝔉𝔊ℌℑ𝔍𝔎𝔏𝔐𝔑𝔒𝔓𝔔ℜ𝔖𝔗𝔘𝔙𝔚𝔛𝔜ℨ",
;;    L"𝔞𝔟𝔠𝔡𝔢𝔣𝔤𝔥𝔦𝔧𝔨𝔩𝔪𝔫𝔬𝔭𝔮𝔯𝔰𝔱𝔲𝔳𝔴𝔵𝔶𝔷"},
;;   {L"𝕬𝕭𝕮𝕯𝕰𝕱𝕲𝕳𝕴𝕵𝕶𝕷𝕸𝕹𝕺𝕻𝕼𝕽𝕾𝕿𝖀𝖁𝖂𝖃𝖄𝖅",
;;    L"𝖆𝖇𝖈𝖉𝖊𝖋𝖌𝖍𝖎𝖏𝖐𝖑𝖒𝖓𝖔𝖕𝖖𝖗𝖘𝖙𝖚𝖛𝖜𝖝𝖞𝖟",
;;    L"𝕬𝕭𝕮𝕯𝕰𝕱𝕲𝕳𝕴𝕵𝕶𝕷𝕸𝕹𝕺𝕻𝕼𝕽𝕾𝕿𝖀𝖁𝖂𝖃𝖄𝖅",
;;    L"𝖆𝖇𝖈𝖉𝖊𝖋𝖌𝖍𝖎𝖏𝖐𝖑𝖒𝖓𝖔𝖕𝖖𝖗𝖘𝖙𝖚𝖛𝖜𝖝𝖞𝖟",
;;    L"𝕬𝕭𝕮𝕯𝕰𝕱𝕲𝕳𝕴𝕵𝕶𝕷𝕸𝕹𝕺𝕻𝕼𝕽𝕾𝕿𝖀𝖁𝖂𝖃𝖄𝖅",
;;    L"𝖆𝖇𝖈𝖉𝖊𝖋𝖌𝖍𝖎𝖏𝖐𝖑𝖒𝖓𝖔𝖕𝖖𝖗𝖘𝖙𝖚𝖛𝖜𝖝𝖞𝖟",
;;    L"𝕬𝕭𝕮𝕯𝕰𝕱𝕲𝕳𝕴𝕵𝕶𝕷𝕸𝕹𝕺𝕻𝕼𝕽𝕾𝕿𝖀𝖁𝖂𝖃𝖄𝖅",
;;    L"𝖆𝖇𝖈𝖉𝖊𝖋𝖌𝖍𝖎𝖏𝖐𝖑𝖒𝖓𝖔𝖕𝖖𝖗𝖘𝖙𝖚𝖛𝖜𝖝𝖞𝖟",
;;    L"𝕬𝕭𝕮𝕯𝕰𝕱𝕲𝕳𝕴𝕵𝕶𝕷𝕸𝕹𝕺𝕻𝕼𝕽𝕾𝕿𝖀𝖁𝖂𝖃𝖄𝖅",
;;    L"𝖆𝖇𝖈𝖉𝖊𝖋𝖌𝖍𝖎𝖏𝖐𝖑𝖒𝖓𝖔𝖕𝖖𝖗𝖘𝖙𝖚𝖛𝖜𝖝𝖞𝖟"},
;; };
;; 
;; int main(int argc, char *argv[]) {
;;   int a, b, i, j, k;
;;   for (i = 0; i < ARRAYLEN(A); ++i) {
;;     for (j = 0; j < ARRAYLEN(A[0]); ++j) {
;;       for (a = b = k = 0; k < 26; ++k) {
;;         if (!a) {
;;           a = A[i][j][k];
;;           b = B[i][j][k];
;;         }
;;         if (k == 25 || (A[i][j][k] + 1 != A[i][j][k + 1] ||
;;                         B[i][j][k] + 1 != B[i][j][k + 1])) {
;;           kprintf("(?%lc ?%lc . ?%lc) ;; %05X-%05X → %05X-%05X\n", a, A[i][j][k],
;;                   b, a, A[i][j][k], b, B[i][j][k]);
;;           a = 0;
;;         }
;;       }
;;     }
;;     kprintf("\n");
;;   }
;; }

(defconst jart--fraktur '( ;;C-c C-z
(?A ?B . ?𝔄) ;; 00041-00042 → 1D504-1D505
(?C ?C . ?ℭ) ;; 00043-00043 → 0212D-0212D
(?D ?G . ?𝔇) ;; 00044-00047 → 1D507-1D50A
(?H ?H . ?ℌ) ;; 00048-00048 → 0210C-0210C
(?I ?I . ?ℑ) ;; 00049-00049 → 02111-02111
(?J ?Q . ?𝔍) ;; 0004A-00051 → 1D50D-1D514
(?R ?R . ?ℜ) ;; 00052-00052 → 0211C-0211C
(?S ?Y . ?𝔖) ;; 00053-00059 → 1D516-1D51C
(?Z ?Z . ?ℨ) ;; 0005A-0005A → 02128-02128
(?a ?z . ?𝔞) ;; 00061-0007A → 1D51E-1D537
(?𝕬 ?𝕭 . ?𝔄) ;; 1D56C-1D56D → 1D504-1D505
(?𝕮 ?𝕮 . ?ℭ) ;; 1D56E-1D56E → 0212D-0212D
(?𝕯 ?𝕲 . ?𝔇) ;; 1D56F-1D572 → 1D507-1D50A
(?𝕳 ?𝕳 . ?ℌ) ;; 1D573-1D573 → 0210C-0210C
(?𝕴 ?𝕴 . ?ℑ) ;; 1D574-1D574 → 02111-02111
(?𝕵 ?𝕼 . ?𝔍) ;; 1D575-1D57C → 1D50D-1D514
(?𝕽 ?𝕽 . ?ℜ) ;; 1D57D-1D57D → 0211C-0211C
(?𝕾 ?𝖄 . ?𝔖) ;; 1D57E-1D584 → 1D516-1D51C
(?𝖅 ?𝖅 . ?ℨ) ;; 1D585-1D585 → 02128-02128
(?𝖆 ?𝖟 . ?𝔞) ;; 1D586-1D59F → 1D51E-1D537
(?𝘈 ?𝘉 . ?𝔄) ;; 1D608-1D609 → 1D504-1D505
(?𝘊 ?𝘊 . ?ℭ) ;; 1D60A-1D60A → 0212D-0212D
(?𝘋 ?𝘎 . ?𝔇) ;; 1D60B-1D60E → 1D507-1D50A
(?𝘏 ?𝘏 . ?ℌ) ;; 1D60F-1D60F → 0210C-0210C
(?𝘐 ?𝘐 . ?ℑ) ;; 1D610-1D610 → 02111-02111
(?𝘑 ?𝘘 . ?𝔍) ;; 1D611-1D618 → 1D50D-1D514
(?𝘙 ?𝘙 . ?ℜ) ;; 1D619-1D619 → 0211C-0211C
(?𝘚 ?𝘠 . ?𝔖) ;; 1D61A-1D620 → 1D516-1D51C
(?𝘡 ?𝘡 . ?ℨ) ;; 1D621-1D621 → 02128-02128
(?𝘢 ?𝘻 . ?𝔞) ;; 1D622-1D63B → 1D51E-1D537
(?𝐴 ?𝐵 . ?𝔄) ;; 1D434-1D435 → 1D504-1D505
(?𝐶 ?𝐶 . ?ℭ) ;; 1D436-1D436 → 0212D-0212D
(?𝐷 ?𝐺 . ?𝔇) ;; 1D437-1D43A → 1D507-1D50A
(?𝐻 ?𝐻 . ?ℌ) ;; 1D43B-1D43B → 0210C-0210C
(?𝐼 ?𝐼 . ?ℑ) ;; 1D43C-1D43C → 02111-02111
(?𝐽 ?𝑄 . ?𝔍) ;; 1D43D-1D444 → 1D50D-1D514
(?𝑅 ?𝑅 . ?ℜ) ;; 1D445-1D445 → 0211C-0211C
(?𝑆 ?𝑌 . ?𝔖) ;; 1D446-1D44C → 1D516-1D51C
(?𝑍 ?𝑍 . ?ℨ) ;; 1D44D-1D44D → 02128-02128
(?𝑎 ?𝑧 . ?𝔞) ;; 1D44E-1D467 → 1D51E-1D537
(?𝐀 ?𝐁 . ?𝔄) ;; 1D400-1D401 → 1D504-1D505
(?𝐂 ?𝐂 . ?ℭ) ;; 1D402-1D402 → 0212D-0212D
(?𝐃 ?𝐆 . ?𝔇) ;; 1D403-1D406 → 1D507-1D50A
(?𝐇 ?𝐇 . ?ℌ) ;; 1D407-1D407 → 0210C-0210C
(?𝐈 ?𝐈 . ?ℑ) ;; 1D408-1D408 → 02111-02111
(?𝐉 ?𝐐 . ?𝔍) ;; 1D409-1D410 → 1D50D-1D514
(?𝐑 ?𝐑 . ?ℜ) ;; 1D411-1D411 → 0211C-0211C
(?𝐒 ?𝐘 . ?𝔖) ;; 1D412-1D418 → 1D516-1D51C
(?𝐙 ?𝐙 . ?ℨ) ;; 1D419-1D419 → 02128-02128
(?𝗮 ?𝘇 . ?𝔞) ;; 1D5EE-1D607 → 1D51E-1D537
))

(defconst jart--fraktur-bold '( ;;C-c C-v
(?A ?Z . ?𝕬) ;; 00041-0005A → 1D56C-1D585
(?a ?z . ?𝖆) ;; 00061-0007A → 1D586-1D59F
(?𝔄 ?𝔅 . ?𝕬) ;; 1D504-1D505 → 1D56C-1D56D
(?ℭ ?ℭ . ?𝕮) ;; 0212D-0212D → 1D56E-1D56E
(?𝔇 ?𝔊 . ?𝕯) ;; 1D507-1D50A → 1D56F-1D572
(?ℌ ?ℌ . ?𝕳) ;; 0210C-0210C → 1D573-1D573
(?ℑ ?ℑ . ?𝕴) ;; 02111-02111 → 1D574-1D574
(?𝔍 ?𝔔 . ?𝕵) ;; 1D50D-1D514 → 1D575-1D57C
(?ℜ ?ℜ . ?𝕽) ;; 0211C-0211C → 1D57D-1D57D
(?𝔖 ?𝔜 . ?𝕾) ;; 1D516-1D51C → 1D57E-1D584
(?ℨ ?ℨ . ?𝖅) ;; 02128-02128 → 1D585-1D585
(?𝔞 ?𝔷 . ?𝖆) ;; 1D51E-1D537 → 1D586-1D59F
(?𝘈 ?𝘡 . ?𝕬) ;; 1D608-1D621 → 1D56C-1D585
(?𝘢 ?𝘻 . ?𝖆) ;; 1D622-1D63B → 1D586-1D59F
(?𝐴 ?𝑍 . ?𝕬) ;; 1D434-1D44D → 1D56C-1D585
(?𝑎 ?𝑧 . ?𝖆) ;; 1D44E-1D467 → 1D586-1D59F
(?𝐀 ?𝐙 . ?𝕬) ;; 1D400-1D419 → 1D56C-1D585
(?𝗮 ?𝘇 . ?𝖆) ;; 1D5EE-1D607 → 1D586-1D59F
))

(defconst jart--italic '((?A ?Z . ?𝘈)
                         (?a ?z . ?𝘢)))

(defconst jart--math-italic '((?' ?' . ?′)
                              (?0 ?9 . ?𝟶)
                              (?A ?Z . ?𝐴)
                              (?a ?z . ?𝑎)))

(defconst jart--bold
  '((?0 ?9 . ?𝟬) (?𝟢 ?𝟫 . ?𝟬) (?𝟶 ?𝟿 . ?𝟬) (?𝟶 ?𝟿 . ?𝟬)
    (?A ?Z . ?𝐀) (?a ?z . ?𝗮) (?𝐴 ?𝑍 . ?𝑨) (?𝑎 ?𝑧 . ?𝒂)
    (?𝘈 ?𝘡 . ?𝘼) (?𝘢 ?𝘻 . ?𝙖) (?𝛢 ?𝛻 . ?𝚨) (?𝛼 ?𝜕 . ?𝛂)))

(defconst jart--subscript
  '((?0 ?9 . ?₀) (?𝟶 ?𝟿 . ?₀) (?𝟢 ?𝟫 . ?₀) (?𝟎 ?𝟗 . ?₀) (?𝟘 ?𝟡 . ?₀)
    (?. ?. . ?․) (?+ ?+ . ?₊) (?- ?- . ?₋) (?= ?= . ?₌) (?a ?a . ?ₐ)
    (?e ?e . ?ₑ) (?o ?o . ?ₒ) (?x ?x . ?ₓ) (?h ?h . ?ₕ) (?k ?k . ?ₖ)
    (?m ?m . ?ₘ) (?n ?n . ?ₙ) (?p ?p . ?ₚ) (?s ?s . ?ₛ) (?t ?t . ?ₜ)
    (?\( ?\) . ?₍)
         (?i ?i . ?ᵢ)
         (?j ?j . ?ⱼ)
         (?l ?l . ?ₗ)
         (?m ?m . ?ₘ)
         (?r ?r . ?ᵣ)
         (?u ?u . ?ᵤ)
         (?v ?v . ?ᵥ)
         (?x ?x . ?ₓ)))

(defconst jart--superscript
  '((?0 ?0 . ?⁰) (?𝟶 ?𝟶 . ?⁰) (?𝟢 ?𝟢 . ?⁰) (?𝟎 ?𝟎 . ?⁰) (?𝟘 ?𝟘 . ?⁰)
    (?1 ?1 . ?¹)
    (?2 ?3 . ?²)
    (?4 ?9 . ?⁴) (?𝟺 ?𝟿 . ?⁴) (?𝟦 ?𝟫 . ?⁴) (?𝟒 ?𝟗 . ?⁴) (?𝟜 ?𝟡 . ?⁴)
    (?i ?i . ?ⁱ)
    (?a ?a . ?ᵃ)
    (?b ?b . ?ᵇ)
    (?c ?c . ?ᶜ)
    (?d ?d . ?ᵈ)
    (?e ?e . ?ᵉ)
    (?f ?f . ?ᶠ)
    (?g ?g . ?ᵍ)
    (?h ?h . ?ʰ)
    (?j ?j . ?ʲ)
    (?k ?k . ?ᵏ)
    (?l ?l . ?ˡ)
    (?m ?m . ?ᵐ)
    (?n ?n . ?ⁿ)
    (?o ?o . ?ᵒ)
    (?p ?p . ?ᵖ)
    (?r ?r . ?ʳ)
    (?s ?s . ?ˢ)
    (?t ?t . ?ᵗ)
    (?u ?u . ?ᵘ)
    (?v ?v . ?ᵛ)
    (?w ?w . ?ʷ)
    (?x ?x . ?ˣ)
    (?y ?y . ?ʸ)
    (?z ?z . ?ᶻ)
    (?A ?B . ?ᴬ)
    (?D ?E . ?ᴰ)
    (?G ?P . ?ᴳ)
    (?R ?R . ?ᴿ)
    (?T ?W . ?ᵀ)
    (?+ ?+ . ?⁺)
    (?- ?- . ?⁻)
    (?= ?= . ?‧)
    (?\( ?\) . ?⁽)))

(defun jart--get-bounds (start end)
  (or (and (use-region-p)
        (cons start end))
     (bounds-of-thing-at-point 'symbol)
     (bounds-of-thing-at-point 'number)
     (save-excursion
       (forward-thing 'symbol)
       (bounds-of-thing-at-point 'symbol))
     (user-error "no region or thing at point")))

(defun jart--text-to-math (bounds ranges)
  "Convert buffer text from START to END to italic math characters."
  (let ((n 0)
        (text (buffer-substring-no-properties
               (car bounds) (cdr bounds))))
    (while (< n (length text))
      (let ((c (string-to-char (substring text n (+ n 1)))))
        (dolist (r ranges)
          (when (and (>= c (car r))
                     (<= c (cadr r)))
            (store-substring
             text n (char-to-string (+ (- c (car r)) (cddr r)))))))
      (setq n (+ n 1)))
    (delete-region (car bounds) (cdr bounds))
    (goto-char (car bounds))
    (insert text)
    (goto-char (+ (car bounds) (length text)))))

(defconst jart-text-keys
  (list (cons (kbd "C-c C-f") 'jart-text-to-math-italic)
        (cons (kbd "C-c f") 'jart-text-to-italic)
        (cons (kbd "C-c C-z") 'jart-text-to-fraktur)
        (cons (kbd "C-c C-v") 'jart-text-to-fraktur-bold)
        (cons (kbd "C-c d") 'jart-text-to-doublestruck)
        (cons (kbd "C-c C-g") 'jart-text-to-gothic)
        (cons (kbd "C-c b") 'jart-text-to-bold)
        (cons (kbd "C-c .") 'jart-text-to-superscript)
        (cons (kbd "C-c ,") 'jart-text-to-subscript)))

(let (i)
  (dolist (i jart-text-keys)
    (global-set-key (car i) (cdr i)))
  (dolist (i (list (cons 'sh-script 'sh-mode-hook)
                   (cons 'text-mode 'text-mode-hook)
                   (cons 'gnuplot-mode 'gnuplot-mode-hook)))
    (eval-after-load (car i)
      `(progn
         (add-hook ',(cdr i) 'jart-text-hook)))))

(provide 'text2math)

;;; text2math.el ends here