Skip to content

Instantly share code, notes, and snippets.

@ericluap
Created February 2, 2026 22:11
Show Gist options
  • Select an option

  • Save ericluap/466936de32be568ee1ab2f52a0531357 to your computer and use it in GitHub Desktop.

Select an option

Save ericluap/466936de32be568ee1ab2f52a0531357 to your computer and use it in GitHub Desktop.
Espanso config for Lean symbol input
# espanso match file
# For a complete introduction, visit the official docs at: https://espanso.org/docs/
# You can use this file to define the base matches (aka snippets)
# that will be available in every application when using espanso.
# Matches are substitution rules: when you type the "trigger" string
# it gets replaced by the "replace" string.
# yaml-language-server: $schema=https://raw.githubusercontent.com/espanso/espanso/dev/schemas/match.schema.json
matches:
# Print the current date
- trigger: ":date"
replace: "{{mydate}}"
vars:
- name: mydate
type: date
params:
format: "%m/%d/%Y"
# Print the output of a shell command
- trigger: ":shell"
replace: "{{output}}"
vars:
- name: output
type: shell
params:
cmd: "echo 'Hello from your shell'"
# And much more! For more information, visit the docs: https://espanso.org/docs/
# Generated abbrevs for Lean:
- trigger: "\\! "
replace: "¡ "
- trigger: "\\!! "
replace: "‼ "
- trigger: "\\!? "
replace: "⁉ "
- trigger: "\\\"A "
replace: "Ä "
- trigger: "\\\"E "
replace: "Ë "
- trigger: "\\\"I "
replace: "Ï "
- trigger: "\\\"O "
replace: "Ö "
- trigger: "\\\"U "
replace: "Ü "
- trigger: "\\\"a "
replace: "ä "
- trigger: "\\\"e "
replace: "ë "
- trigger: "\\\"i "
replace: "ï "
- trigger: "\\\"o "
replace: "ö "
- trigger: "\\\"u "
replace: "ü "
- trigger: "\\\"y "
replace: "ÿ "
- trigger: "\\# "
replace: "♯ "
- trigger: "\\& "
replace: "⅋ "
- trigger: "\\'A "
replace: "Á "
- trigger: "\\'E "
replace: "É "
- trigger: "\\'I "
replace: "Í "
- trigger: "\\'O "
replace: "Ó "
- trigger: "\\'U "
replace: "Ú "
- trigger: "\\'Y "
replace: "Ý "
- trigger: "\\'a "
replace: "á "
- trigger: "\\'e "
replace: "é "
- trigger: "\\'i "
replace: "í "
- trigger: "\\'o "
replace: "ó "
- trigger: "\\'u "
replace: "ú "
- trigger: "\\'y "
replace: "ý "
- trigger: "\\(( "
replace: "⸨ "
- trigger: "\\(= "
replace: "≘ "
- trigger: "\\([ "
replace: "⟮ "
- trigger: "\\(b "
replace: "⟅ "
- trigger: "\\)) "
replace: "⸩ "
- trigger: "\\)b "
replace: "⟆ "
- trigger: "\\* "
replace: "⋆ "
- trigger: "\\*= "
replace: "≛ "
- trigger: "\\+ "
replace: "⊹ "
- trigger: "\\- "
replace: "⁻¹ "
- trigger: "\\--- "
replace: "─ "
- trigger: "\\--. "
replace: "╌ "
- trigger: "\\--= "
replace: "═ "
- trigger: "\\--> "
replace: "⟶ "
- trigger: "\\--_ "
replace: "━ "
- trigger: "\\-1 "
replace: "⁻¹ "
- trigger: "\\-2 "
replace: "⁻² "
- trigger: "\\-3 "
replace: "⁻³ "
- trigger: "\\-: "
replace: "∹ "
- trigger: "\\-> "
replace: "→ "
- trigger: "\\->n "
replace: "↛ "
- trigger: "\\-] "
replace: "⁆ "
- trigger: "\\-int "
replace: "⨍ "
- trigger: "\\-o "
replace: "⊸ "
- trigger: "\\-{A} "
replace: "Ā "
- trigger: "\\-{E} "
replace: "Ē "
- trigger: "\\-{I} "
replace: "Ī "
- trigger: "\\-{O} "
replace: "Ō "
- trigger: "\\-{U} "
replace: "Ū "
- trigger: "\\-{a} "
replace: "ā "
- trigger: "\\-{e} "
replace: "ē "
- trigger: "\\-{i} "
replace: "ī "
- trigger: "\\-{o} "
replace: "ō "
- trigger: "\\-{u} "
replace: "ū "
- trigger: "\\-| "
replace: "⊣ "
- trigger: "\\-~ "
replace: "≂ "
- trigger: "\\. "
replace: "· "
- trigger: "\\.+ "
replace: "∔ "
- trigger: "\\.- "
replace: "∸ "
- trigger: "\\... "
replace: "⋯ "
- trigger: "\\.= "
replace: "≐ "
- trigger: "\\.=. "
replace: "≑ "
- trigger: "\\/ "
replace: "⧸ "
- trigger: "\\/L "
replace: "Ł "
- trigger: "\\/O "
replace: "Ø "
- trigger: "\\/o "
replace: "ø "
- trigger: "\\0 "
replace: "₀ "
- trigger: "\\1 "
replace: "₁ "
- trigger: "\\2 "
replace: "₂ "
- trigger: "\\3 "
replace: "₃ "
- trigger: "\\4 "
replace: "₄ "
- trigger: "\\5 "
replace: "₅ "
- trigger: "\\6 "
replace: "₆ "
- trigger: "\\7 "
replace: "₇ "
- trigger: "\\8 "
replace: "₈ "
- trigger: "\\9 "
replace: "₉ "
- trigger: "\\: "
replace: "∶ "
- trigger: "\\:: "
replace: "∷ "
- trigger: "\\::- "
replace: "∺ "
- trigger: "\\:= "
replace: "≔ "
- trigger: "\\:> "
replace: "⋗ "
- trigger: "\\:~ "
replace: "∻ "
- trigger: "\\< "
replace: "⟨ "
- trigger: "\\<- "
replace: "← "
- trigger: "\\<-- "
replace: "⟵ "
- trigger: "\\<--> "
replace: "⟷ "
- trigger: "\\<-> "
replace: "↔ "
- trigger: "\\<->n "
replace: "↮ "
- trigger: "\\<-n "
replace: "↚ "
- trigger: "\\<: "
replace: "⋖ "
- trigger: "\\<< "
replace: "⟪ "
- trigger: "\\<= "
replace: "≤ "
- trigger: "\\<=> "
replace: "⇔ "
- trigger: "\\<=>n "
replace: "⇎ "
- trigger: "\\<=n "
replace: "≰ "
- trigger: "\\<n "
replace: "≮ "
- trigger: "\\<| "
replace: "⧏ "
- trigger: "\\<~ "
replace: "≲ "
- trigger: "\\<~n "
replace: "⋦ "
- trigger: "\\<~nn "
replace: "≴ "
- trigger: "\\=: "
replace: "≕ "
- trigger: "\\== "
replace: "≡ "
- trigger: "\\=== "
replace: "≣ "
- trigger: "\\==> "
replace: "⟹ "
- trigger: "\\==n "
replace: "≢ "
- trigger: "\\=> "
replace: "⇒ "
- trigger: "\\=>n "
replace: "⇏ "
- trigger: "\\=n "
replace: "≠ "
- trigger: "\\=o "
replace: "≗ "
- trigger: "\\> "
replace: "⟩ "
- trigger: "\\>= "
replace: "≥ "
- trigger: "\\>=n "
replace: "≱ "
- trigger: "\\>> "
replace: "⟫ "
- trigger: "\\>n "
replace: "≯ "
- trigger: "\\>~ "
replace: "≳ "
- trigger: "\\>~n "
replace: "⋧ "
- trigger: "\\>~nn "
replace: "≵ "
- trigger: "\\? "
replace: "¿ "
- trigger: "\\?! "
replace: "‽ "
- trigger: "\\?= "
replace: "≟ "
- trigger: "\\?? "
replace: "⁇ "
- trigger: "\\A "
replace: "𝔸 "
- trigger: "\\AA "
replace: "Å "
- trigger: "\\AE "
replace: "Æ "
- trigger: "\\Alpha "
replace: "Α "
- trigger: "\\And "
replace: "⋀ "
- trigger: "\\Beta "
replace: "Β "
- trigger: "\\Box "
replace: "□ "
- trigger: "\\Bumpeq "
replace: "≎ "
- trigger: "\\C "
replace: "ℂ "
- trigger: "\\Cap "
replace: "⋒ "
- trigger: "\\Chi "
replace: "Χ "
- trigger: "\\Com "
replace: "ℂ "
- trigger: "\\Complement "
replace: "∁ "
- trigger: "\\Cup "
replace: "⋓ "
- trigger: "\\D "
replace: "Δ "
- trigger: "\\DH "
replace: "Ð "
- trigger: "\\Dei "
replace: "Ϯ "
- trigger: "\\Delta "
replace: "Δ "
- trigger: "\\Diamond "
replace: "◇ "
- trigger: "\\Digamma "
replace: "Ϝ "
- trigger: "\\Downarrow "
replace: "⇓ "
- trigger: "\\Epsilon "
replace: "Ε "
- trigger: "\\Eta "
replace: "Η "
- trigger: "\\F "
replace: "𝔽 "
- trigger: "\\Fei "
replace: "Ϥ "
- trigger: "\\Frowny "
replace: "☹ "
- trigger: "\\G "
replace: "Γ "
- trigger: "\\GA "
replace: "Α "
- trigger: "\\GB "
replace: "Β "
- trigger: "\\GC "
replace: "Χ "
- trigger: "\\GD "
replace: "Δ "
- trigger: "\\GE "
replace: "Ε "
- trigger: "\\GF "
replace: "Φ "
- trigger: "\\GG "
replace: "Γ "
- trigger: "\\GI "
replace: "Ι "
- trigger: "\\GK "
replace: "Κ "
- trigger: "\\GL "
replace: "Λ "
- trigger: "\\GM "
replace: "Μ "
- trigger: "\\GN "
replace: "Ν "
- trigger: "\\GO "
replace: "Ω "
- trigger: "\\GP "
replace: "Ψ "
- trigger: "\\GR "
replace: "Ρ "
- trigger: "\\GS "
replace: "Σ "
- trigger: "\\GT "
replace: "Τ "
- trigger: "\\GTH "
replace: "Θ "
- trigger: "\\GU "
replace: "Υ "
- trigger: "\\GX "
replace: "Ξ "
- trigger: "\\GZ "
replace: "Ζ "
- trigger: "\\Ga "
replace: "α "
- trigger: "\\Gamma "
replace: "Γ "
- trigger: "\\Gangia "
replace: "Ϫ "
- trigger: "\\Gb "
replace: "β "
- trigger: "\\Gc "
replace: "χ "
- trigger: "\\Gd "
replace: "δ "
- trigger: "\\Ge "
replace: "ε "
- trigger: "\\Gf "
replace: "φ "
- trigger: "\\Gg "
replace: "γ "
- trigger: "\\Gi "
replace: "ι "
- trigger: "\\Gk "
replace: "κ "
- trigger: "\\Gl "
replace: "λ "
- trigger: "\\Gl- "
replace: "ƛ "
- trigger: "\\Glb "
replace: "⨅ "
- trigger: "\\Gm "
replace: "μ "
- trigger: "\\Gn "
replace: "ν "
- trigger: "\\Go "
replace: "ω "
- trigger: "\\Gp "
replace: "ψ "
- trigger: "\\Gr "
replace: "ρ "
- trigger: "\\Gs "
replace: "σ "
- trigger: "\\Gt "
replace: "τ "
- trigger: "\\Gth "
replace: "θ "
- trigger: "\\Gu "
replace: "υ "
- trigger: "\\Gx "
replace: "ξ "
- trigger: "\\Gz "
replace: "ζ "
- trigger: "\\H "
replace: "ℍ "
- trigger: "\\Heta "
replace: "Ͱ "
- trigger: "\\Hori "
replace: "Ϩ "
- trigger: "\\I "
replace: "⋂ "
- trigger: "\\I0 "
replace: "⋂₀ "
- trigger: "\\Im "
replace: "ℑ "
- trigger: "\\Inf "
replace: "⨅ "
- trigger: "\\Int "
replace: "ℤ "
- trigger: "\\Inter "
replace: "⋂ "
- trigger: "\\Iota "
replace: "Ι "
- trigger: "\\Join "
replace: "⨆ "
- trigger: "\\K "
replace: "𝕂 "
- trigger: "\\Kappa "
replace: "Κ "
- trigger: "\\Khei "
replace: "Ϧ "
- trigger: "\\Koppa "
replace: "Ϟ "
- trigger: "\\L "
replace: "Λ "
- trigger: "\\Lambda "
replace: "Λ "
- trigger: "\\Lamda "
replace: "Λ "
- trigger: "\\Leftarrow "
replace: "⇐ "
- trigger: "\\Leftrightarrow "
replace: "⇔ "
- trigger: "\\Letter "
replace: "✉ "
- trigger: "\\Ll "
replace: "⋘ "
- trigger: "\\Lleftarrow "
replace: "⇚ "
- trigger: "\\Longleftarrow "
replace: "⇐ "
- trigger: "\\Longleftrightarrow "
replace: "⇔ "
- trigger: "\\Longrightarrow "
replace: "⇒ "
- trigger: "\\Lsh "
replace: "↰ "
- trigger: "\\Lub "
replace: "⨆ "
- trigger: "\\MCA "
replace: "𝓐 "
- trigger: "\\MCB "
replace: "𝓑 "
- trigger: "\\MCC "
replace: "𝓒 "
- trigger: "\\MCD "
replace: "𝓓 "
- trigger: "\\MCE "
replace: "𝓔 "
- trigger: "\\MCF "
replace: "𝓕 "
- trigger: "\\MCG "
replace: "𝓖 "
- trigger: "\\MCH "
replace: "𝓗 "
- trigger: "\\MCI "
replace: "𝓘 "
- trigger: "\\MCJ "
replace: "𝓙 "
- trigger: "\\MCK "
replace: "𝓚 "
- trigger: "\\MCL "
replace: "𝓛 "
- trigger: "\\MCM "
replace: "𝓜 "
- trigger: "\\MCN "
replace: "𝓝 "
- trigger: "\\MCO "
replace: "𝓞 "
- trigger: "\\MCP "
replace: "𝓟 "
- trigger: "\\MCQ "
replace: "𝓠 "
- trigger: "\\MCR "
replace: "𝓡 "
- trigger: "\\MCS "
replace: "𝓢 "
- trigger: "\\MCT "
replace: "𝓣 "
- trigger: "\\MCU "
replace: "𝓤 "
- trigger: "\\MCV "
replace: "𝓥 "
- trigger: "\\MCW "
replace: "𝓦 "
- trigger: "\\MCX "
replace: "𝓧 "
- trigger: "\\MCY "
replace: "𝓨 "
- trigger: "\\MCZ "
replace: "𝓩 "
- trigger: "\\MCa "
replace: "𝓪 "
- trigger: "\\MCb "
replace: "𝓫 "
- trigger: "\\MCc "
replace: "𝓬 "
- trigger: "\\MCd "
replace: "𝓭 "
- trigger: "\\MCe "
replace: "𝓮 "
- trigger: "\\MCf "
replace: "𝓯 "
- trigger: "\\MCg "
replace: "𝓰 "
- trigger: "\\MCh "
replace: "𝓱 "
- trigger: "\\MCi "
replace: "𝓲 "
- trigger: "\\MCj "
replace: "𝓳 "
- trigger: "\\MCk "
replace: "𝓴 "
- trigger: "\\MCl "
replace: "𝓵 "
- trigger: "\\MCm "
replace: "𝓶 "
- trigger: "\\MCn "
replace: "𝓷 "
- trigger: "\\MCo "
replace: "𝓸 "
- trigger: "\\MCp "
replace: "𝓹 "
- trigger: "\\MCq "
replace: "𝓺 "
- trigger: "\\MCr "
replace: "𝓻 "
- trigger: "\\MCs "
replace: "𝓼 "
- trigger: "\\MCt "
replace: "𝓽 "
- trigger: "\\MCu "
replace: "𝓾 "
- trigger: "\\MCv "
replace: "𝓿 "
- trigger: "\\MCw "
replace: "𝔀 "
- trigger: "\\MCx "
replace: "𝔁 "
- trigger: "\\MCy "
replace: "𝔂 "
- trigger: "\\MCz "
replace: "𝔃 "
- trigger: "\\MIA "
replace: "𝑨 "
- trigger: "\\MIB "
replace: "𝑩 "
- trigger: "\\MIC "
replace: "𝑪 "
- trigger: "\\MID "
replace: "𝑫 "
- trigger: "\\MIE "
replace: "𝑬 "
- trigger: "\\MIF "
replace: "𝑭 "
- trigger: "\\MIG "
replace: "𝑮 "
- trigger: "\\MIH "
replace: "𝑯 "
- trigger: "\\MII "
replace: "𝑰 "
- trigger: "\\MIJ "
replace: "𝑱 "
- trigger: "\\MIK "
replace: "𝑲 "
- trigger: "\\MIL "
replace: "𝑳 "
- trigger: "\\MIM "
replace: "𝑴 "
- trigger: "\\MIN "
replace: "𝑵 "
- trigger: "\\MIO "
replace: "𝑶 "
- trigger: "\\MIP "
replace: "𝑷 "
- trigger: "\\MIQ "
replace: "𝑸 "
- trigger: "\\MIR "
replace: "𝑹 "
- trigger: "\\MIS "
replace: "𝑺 "
- trigger: "\\MIT "
replace: "𝑻 "
- trigger: "\\MIU "
replace: "𝑼 "
- trigger: "\\MIV "
replace: "𝑽 "
- trigger: "\\MIW "
replace: "𝑾 "
- trigger: "\\MIX "
replace: "𝑿 "
- trigger: "\\MIY "
replace: "𝒀 "
- trigger: "\\MIZ "
replace: "𝒁 "
- trigger: "\\MIa "
replace: "𝒂 "
- trigger: "\\MIb "
replace: "𝒃 "
- trigger: "\\MIc "
replace: "𝒄 "
- trigger: "\\MId "
replace: "𝒅 "
- trigger: "\\MIe "
replace: "𝒆 "
- trigger: "\\MIf "
replace: "𝒇 "
- trigger: "\\MIg "
replace: "𝒈 "
- trigger: "\\MIh "
replace: "𝒉 "
- trigger: "\\MIi "
replace: "𝒊 "
- trigger: "\\MIj "
replace: "𝒋 "
- trigger: "\\MIk "
replace: "𝒌 "
- trigger: "\\MIl "
replace: "𝒍 "
- trigger: "\\MIm "
replace: "𝒎 "
- trigger: "\\MIn "
replace: "𝒏 "
- trigger: "\\MIo "
replace: "𝒐 "
- trigger: "\\MIp "
replace: "𝒑 "
- trigger: "\\MIq "
replace: "𝒒 "
- trigger: "\\MIr "
replace: "𝒓 "
- trigger: "\\MIs "
replace: "𝒔 "
- trigger: "\\MIt "
replace: "𝒕 "
- trigger: "\\MIu "
replace: "𝒖 "
- trigger: "\\MIv "
replace: "𝒗 "
- trigger: "\\MIw "
replace: "𝒘 "
- trigger: "\\MIx "
replace: "𝒙 "
- trigger: "\\MIy "
replace: "𝒚 "
- trigger: "\\MIz "
replace: "𝒛 "
- trigger: "\\McA "
replace: "𝒜 "
- trigger: "\\McB "
replace: "ℬ "
- trigger: "\\McC "
replace: "𝒞 "
- trigger: "\\McD "
replace: "𝒟 "
- trigger: "\\McE "
replace: "ℰ "
- trigger: "\\McF "
replace: "ℱ "
- trigger: "\\McG "
replace: "𝒢 "
- trigger: "\\McH "
replace: "ℋ "
- trigger: "\\McI "
replace: "ℐ "
- trigger: "\\McJ "
replace: "𝒥 "
- trigger: "\\McK "
replace: "𝒦 "
- trigger: "\\McL "
replace: "ℒ "
- trigger: "\\McM "
replace: "ℳ "
- trigger: "\\McN "
replace: "𝒩 "
- trigger: "\\McO "
replace: "𝒪 "
- trigger: "\\McP "
replace: "𝒫 "
- trigger: "\\McQ "
replace: "𝒬 "
- trigger: "\\McR "
replace: "ℛ "
- trigger: "\\McS "
replace: "𝒮 "
- trigger: "\\McT "
replace: "𝒯 "
- trigger: "\\McU "
replace: "𝒰 "
- trigger: "\\McV "
replace: "𝒱 "
- trigger: "\\McW "
replace: "𝒲 "
- trigger: "\\McX "
replace: "𝒳 "
- trigger: "\\McY "
replace: "𝒴 "
- trigger: "\\McZ "
replace: "𝒵 "
- trigger: "\\Mca "
replace: "𝒶 "
- trigger: "\\Mcb "
replace: "𝒷 "
- trigger: "\\Mcc "
replace: "𝒸 "
- trigger: "\\Mcd "
replace: "𝒹 "
- trigger: "\\Mce "
replace: "ℯ "
- trigger: "\\Mcf "
replace: "𝒻 "
- trigger: "\\Mcg "
replace: "ℊ "
- trigger: "\\Mch "
replace: "𝒽 "
- trigger: "\\Mci "
replace: "𝒾 "
- trigger: "\\Mcj "
replace: "𝒿 "
- trigger: "\\Mck "
replace: "𝓀 "
- trigger: "\\Mcl "
replace: "𝓁 "
- trigger: "\\Mcm "
replace: "𝓂 "
- trigger: "\\Mcn "
replace: "𝓃 "
- trigger: "\\Mco "
replace: "ℴ "
- trigger: "\\Mcp "
replace: "𝓅 "
- trigger: "\\Mcq "
replace: "𝓆 "
- trigger: "\\Mcr "
replace: "𝓇 "
- trigger: "\\Mcs "
replace: "𝓈 "
- trigger: "\\Mct "
replace: "𝓉 "
- trigger: "\\Mcu "
replace: "𝓊 "
- trigger: "\\Mcv "
replace: "𝓋 "
- trigger: "\\Mcw "
replace: "𝓌 "
- trigger: "\\Mcx "
replace: "𝓍 "
- trigger: "\\Mcy "
replace: "𝓎 "
- trigger: "\\Mcz "
replace: "𝓏 "
- trigger: "\\Meet "
replace: "⨅ "
- trigger: "\\MfA "
replace: "𝔄 "
- trigger: "\\MfB "
replace: "𝔅 "
- trigger: "\\MfC "
replace: "ℭ "
- trigger: "\\MfD "
replace: "𝔇 "
- trigger: "\\MfE "
replace: "𝔈 "
- trigger: "\\MfF "
replace: "𝔉 "
- trigger: "\\MfG "
replace: "𝔊 "
- trigger: "\\MfH "
replace: "ℌ "
- trigger: "\\MfI "
replace: "ℑ "
- trigger: "\\MfJ "
replace: "𝔍 "
- trigger: "\\MfK "
replace: "𝔎 "
- trigger: "\\MfL "
replace: "𝔏 "
- trigger: "\\MfM "
replace: "𝔐 "
- trigger: "\\MfN "
replace: "𝔑 "
- trigger: "\\MfO "
replace: "𝔒 "
- trigger: "\\MfP "
replace: "𝔓 "
- trigger: "\\MfQ "
replace: "𝔔 "
- trigger: "\\MfR "
replace: "ℜ "
- trigger: "\\MfS "
replace: "𝔖 "
- trigger: "\\MfT "
replace: "𝔗 "
- trigger: "\\MfU "
replace: "𝔘 "
- trigger: "\\MfV "
replace: "𝔙 "
- trigger: "\\MfW "
replace: "𝔚 "
- trigger: "\\MfX "
replace: "𝔛 "
- trigger: "\\MfY "
replace: "𝔜 "
- trigger: "\\MfZ "
replace: "ℨ "
- trigger: "\\Mfa "
replace: "𝔞 "
- trigger: "\\Mfb "
replace: "𝔟 "
- trigger: "\\Mfc "
replace: "𝔠 "
- trigger: "\\Mfd "
replace: "𝔡 "
- trigger: "\\Mfe "
replace: "𝔢 "
- trigger: "\\Mff "
replace: "𝔣 "
- trigger: "\\Mfg "
replace: "𝔤 "
- trigger: "\\Mfh "
replace: "𝔥 "
- trigger: "\\Mfi "
replace: "𝔦 "
- trigger: "\\Mfj "
replace: "𝔧 "
- trigger: "\\Mfk "
replace: "𝔨 "
- trigger: "\\Mfl "
replace: "𝔩 "
- trigger: "\\Mfm "
replace: "𝔪 "
- trigger: "\\Mfn "
replace: "𝔫 "
- trigger: "\\Mfo "
replace: "𝔬 "
- trigger: "\\Mfp "
replace: "𝔭 "
- trigger: "\\Mfq "
replace: "𝔮 "
- trigger: "\\Mfr "
replace: "𝔯 "
- trigger: "\\Mfs "
replace: "𝔰 "
- trigger: "\\Mft "
replace: "𝔱 "
- trigger: "\\Mfu "
replace: "𝔲 "
- trigger: "\\Mfv "
replace: "𝔳 "
- trigger: "\\Mfw "
replace: "𝔴 "
- trigger: "\\Mfx "
replace: "𝔵 "
- trigger: "\\Mfy "
replace: "𝔶 "
- trigger: "\\Mfz "
replace: "𝔷 "
- trigger: "\\MiA "
replace: "𝐴 "
- trigger: "\\MiB "
replace: "𝐵 "
- trigger: "\\MiC "
replace: "𝐶 "
- trigger: "\\MiD "
replace: "𝐷 "
- trigger: "\\MiE "
replace: "𝐸 "
- trigger: "\\MiF "
replace: "𝐹 "
- trigger: "\\MiG "
replace: "𝐺 "
- trigger: "\\MiH "
replace: "𝐻 "
- trigger: "\\MiI "
replace: "𝐼 "
- trigger: "\\MiJ "
replace: "𝐽 "
- trigger: "\\MiK "
replace: "𝐾 "
- trigger: "\\MiL "
replace: "𝐿 "
- trigger: "\\MiM "
replace: "𝑀 "
- trigger: "\\MiN "
replace: "𝑁 "
- trigger: "\\MiO "
replace: "𝑂 "
- trigger: "\\MiP "
replace: "𝑃 "
- trigger: "\\MiQ "
replace: "𝑄 "
- trigger: "\\MiR "
replace: "𝑅 "
- trigger: "\\MiS "
replace: "𝑆 "
- trigger: "\\MiT "
replace: "𝑇 "
- trigger: "\\MiU "
replace: "𝑈 "
- trigger: "\\MiV "
replace: "𝑉 "
- trigger: "\\MiW "
replace: "𝑊 "
- trigger: "\\MiX "
replace: "𝑋 "
- trigger: "\\MiY "
replace: "𝑌 "
- trigger: "\\MiZ "
replace: "𝑍 "
- trigger: "\\Mia "
replace: "𝑎 "
- trigger: "\\Mib "
replace: "𝑏 "
- trigger: "\\Mic "
replace: "𝑐 "
- trigger: "\\Mid "
replace: "𝑑 "
- trigger: "\\Mie "
replace: "𝑒 "
- trigger: "\\Mif "
replace: "𝑓 "
- trigger: "\\Mig "
replace: "𝑔 "
- trigger: "\\Mii "
replace: "𝑖 "
- trigger: "\\Mij "
replace: "𝑗 "
- trigger: "\\Mik "
replace: "𝑘 "
- trigger: "\\Mil "
replace: "𝑙 "
- trigger: "\\Mim "
replace: "𝑚 "
- trigger: "\\Min "
replace: "𝑛 "
- trigger: "\\Mio "
replace: "𝑜 "
- trigger: "\\Mip "
replace: "𝑝 "
- trigger: "\\Miq "
replace: "𝑞 "
- trigger: "\\Mir "
replace: "𝑟 "
- trigger: "\\Mis "
replace: "𝑠 "
- trigger: "\\Mit "
replace: "𝑡 "
- trigger: "\\Miu "
replace: "𝑢 "
- trigger: "\\Miv "
replace: "𝑣 "
- trigger: "\\Miw "
replace: "𝑤 "
- trigger: "\\Mix "
replace: "𝑥 "
- trigger: "\\Miy "
replace: "𝑦 "
- trigger: "\\Miz "
replace: "𝑧 "
- trigger: "\\N "
replace: "ℕ "
- trigger: "\\Nat "
replace: "ℕ "
- trigger: "\\Nu "
replace: "Ν "
- trigger: "\\O "
replace: "Ø "
- trigger: "\\O* "
replace: "⍟ "
- trigger: "\\O+ "
replace: "⨁ "
- trigger: "\\O. "
replace: "⨀ "
- trigger: "\\OE "
replace: "Œ "
- trigger: "\\Omega "
replace: "Ω "
- trigger: "\\Omicron "
replace: "Ο "
- trigger: "\\Or "
replace: "⋁ "
- trigger: "\\Ox "
replace: "⨂ "
- trigger: "\\P "
replace: "Π "
- trigger: "\\P0 "
replace: "Π₀ "
- trigger: "\\P_0 "
replace: "Π₀ "
- trigger: "\\Phi "
replace: "Φ "
- trigger: "\\Pi "
replace: "Π "
- trigger: "\\Pi0 "
replace: "Π₀ "
- trigger: "\\Pi_0 "
replace: "Π₀ "
- trigger: "\\Psi "
replace: "Ψ "
- trigger: "\\Q "
replace: "ℚ "
- trigger: "\\R "
replace: "ℝ "
- trigger: "\\R>=0 "
replace: "ℝ≥0 "
- trigger: "\\Rat "
replace: "ℚ "
- trigger: "\\Re "
replace: "ℜ "
- trigger: "\\Real "
replace: "ℝ "
- trigger: "\\Rge0 "
replace: "ℝ≥0 "
- trigger: "\\Rho "
replace: "Ρ "
- trigger: "\\Rightarrow "
replace: "⇒ "
- trigger: "\\Rrightarrow "
replace: "⇛ "
- trigger: "\\Rsh "
replace: "↱ "
- trigger: "\\S "
replace: "Σ "
- trigger: "\\Sampi "
replace: "Ϡ "
- trigger: "\\San "
replace: "Ϻ "
- trigger: "\\Shei "
replace: "Ϣ "
- trigger: "\\Shima "
replace: "Ϭ "
- trigger: "\\Sho "
replace: "Ϸ "
- trigger: "\\Sigma "
replace: "Σ "
- trigger: "\\Smiley "
replace: "☺ "
- trigger: "\\Sqcap "
replace: "⨅ "
- trigger: "\\Sqcup "
replace: "⨆ "
- trigger: "\\Stigma "
replace: "Ϛ "
- trigger: "\\Subset "
replace: "⋐ "
- trigger: "\\Sup "
replace: "⨆ "
- trigger: "\\Supset "
replace: "⋑ "
- trigger: "\\TH "
replace: "Þ "
- trigger: "\\Tau "
replace: "Τ "
- trigger: "\\Tb "
replace: "◀ "
- trigger: "\\Theta "
replace: "Θ "
- trigger: "\\Tr "
replace: "◀ "
- trigger: "\\Tw "
replace: "◁ "
- trigger: "\\U "
replace: "⋃ "
- trigger: "\\U+ "
replace: "⨄ "
- trigger: "\\U. "
replace: "⨃ "
- trigger: "\\U0 "
replace: "⋃₀ "
- trigger: "\\Un "
replace: "⋃ "
- trigger: "\\Union "
replace: "⋃ "
- trigger: "\\Uparrow "
replace: "⇑ "
- trigger: "\\Updownarrow "
replace: "⇕ "
- trigger: "\\Upsilon "
replace: "Υ "
- trigger: "\\Vdash "
replace: "⊩ "
- trigger: "\\Vert "
replace: "‖ "
- trigger: "\\Vvdash "
replace: "⊪ "
- trigger: "\\X "
replace: "⨯ "
- trigger: "\\Xi "
replace: "Ξ "
- trigger: "\\Yot "
replace: "Ϳ "
- trigger: "\\Z "
replace: "ℤ "
- trigger: "\\Zeta "
replace: "Ζ "
- trigger: "\\Zsqrt "
replace: "ℤ√ "
- trigger: "\\[- "
replace: "⁅ "
- trigger: "\\[[ "
replace: "⟦ "
- trigger: "\\\\ "
replace: "\\ "
- trigger: "\\]) "
replace: "⟯ "
- trigger: "\\]] "
replace: "⟧ "
- trigger: "\\^( "
replace: "⁽ "
- trigger: "\\^) "
replace: "⁾ "
- trigger: "\\^+ "
replace: "⁺ "
- trigger: "\\^- "
replace: "⁻ "
- trigger: "\\^-1 "
replace: "⁻¹ "
- trigger: "\\^0 "
replace: "⁰ "
- trigger: "\\^1 "
replace: "¹ "
- trigger: "\\^2 "
replace: "² "
- trigger: "\\^3 "
replace: "³ "
- trigger: "\\^4 "
replace: "⁴ "
- trigger: "\\^5 "
replace: "⁵ "
- trigger: "\\^6 "
replace: "⁶ "
- trigger: "\\^7 "
replace: "⁷ "
- trigger: "\\^8 "
replace: "⁸ "
- trigger: "\\^9 "
replace: "⁹ "
- trigger: "\\^= "
replace: "⁼ "
- trigger: "\\^A "
replace: "ᴬ "
- trigger: "\\^Ae "
replace: "ᴭ "
- trigger: "\\^B "
replace: "ᴮ "
- trigger: "\\^Bbarred "
replace: "ᴯ "
- trigger: "\\^D "
replace: "ᴰ "
- trigger: "\\^E "
replace: "ᴱ "
- trigger: "\\^Ereversed "
replace: "ᴲ "
- trigger: "\\^G "
replace: "ᴳ "
- trigger: "\\^H "
replace: "ᴴ "
- trigger: "\\^Hstroke "
replace: "ꟸ "
- trigger: "\\^I "
replace: "ᴵ "
- trigger: "\\^Ismall "
replace: "ᶦ "
- trigger: "\\^Istroke "
replace: "ᶧ "
- trigger: "\\^J "
replace: "ᴶ "
- trigger: "\\^K "
replace: "ᴷ "
- trigger: "\\^L "
replace: "ᴸ "
- trigger: "\\^Lsmall "
replace: "ᶫ "
- trigger: "\\^M "
replace: "ᴹ "
- trigger: "\\^N "
replace: "ᴺ "
- trigger: "\\^Nreversed "
replace: "ᴻ "
- trigger: "\\^Nsmall "
replace: "ᶰ "
- trigger: "\\^O "
replace: "ᴼ "
- trigger: "\\^Ou "
replace: "ᴽ "
- trigger: "\\^P "
replace: "ᴾ "
- trigger: "\\^R "
replace: "ᴿ "
- trigger: "\\^Rinverted "
replace: "ʶ "
- trigger: "\\^SM "
replace: "℠ "
- trigger: "\\^T "
replace: "ᵀ "
- trigger: "\\^TEL "
replace: "℡ "
- trigger: "\\^TM "
replace: "™ "
- trigger: "\\^U "
replace: "ᵁ "
- trigger: "\\^Usmall "
replace: "ᶸ "
- trigger: "\\^V "
replace: "ⱽ "
- trigger: "\\^W "
replace: "ᵂ "
- trigger: "\\^a "
replace: "ᵃ "
- trigger: "\\^a_ "
replace: "ª "
- trigger: "\\^ain "
replace: "ᵜ "
- trigger: "\\^alpha "
replace: "ᵅ "
- trigger: "\\^b "
replace: "ᵇ "
- trigger: "\\^beta "
replace: "ᵝ "
- trigger: "\\^bot "
replace: "ᗮ "
- trigger: "\\^c "
replace: "ᶜ "
- trigger: "\\^ccurl "
replace: "ᶝ "
- trigger: "\\^chi "
replace: "ᵡ "
- trigger: "\\^d "
replace: "ᵈ "
- trigger: "\\^e "
replace: "ᵉ "
- trigger: "\\^eng "
replace: "ᵑ "
- trigger: "\\^eopen "
replace: "ᵋ "
- trigger: "\\^ereversedopen "
replace: "ᶟ "
- trigger: "\\^esh "
replace: "ᶴ "
- trigger: "\\^eth "
replace: "ᶞ "
- trigger: "\\^ezh "
replace: "ᶾ "
- trigger: "\\^f "
replace: "ᶠ "
- trigger: "\\^g "
replace: "ᵍ "
- trigger: "\\^gamma "
replace: "ˠ "
- trigger: "\\^gscript "
replace: "ᶢ "
- trigger: "\\^h "
replace: "ʰ "
- trigger: "\\^heng "
replace: "ꭜ "
- trigger: "\\^hhook "
replace: "ʱ "
- trigger: "\\^hwithhook "
replace: "ʱ "
- trigger: "\\^i "
replace: "ⁱ "
- trigger: "\\^iota "
replace: "ᶥ "
- trigger: "\\^istroke "
replace: "ᶤ "
- trigger: "\\^j "
replace: "ʲ "
- trigger: "\\^jtail "
replace: "ᶨ "
- trigger: "\\^k "
replace: "ᵏ "
- trigger: "\\^l "
replace: "ˡ "
- trigger: "\\^lhook "
replace: "ᶪ "
- trigger: "\\^lretroflexhook "
replace: "ᶩ "
- trigger: "\\^ls "
replace: "ꭝ "
- trigger: "\\^ltilde "
replace: "ꭞ "
- trigger: "\\^m "
replace: "ᵐ "
- trigger: "\\^mhook "
replace: "ᶬ "
- trigger: "\\^n "
replace: "ⁿ "
- trigger: "\\^nlefthook "
replace: "ᶮ "
- trigger: "\\^nretroflexhook "
replace: "ᶯ "
- trigger: "\\^o "
replace: "ᵒ "
- trigger: "\\^o_ "
replace: "º "
- trigger: "\\^obarred "
replace: "ᶱ "
- trigger: "\\^obottom "
replace: "ᵕ "
- trigger: "\\^oe "
replace: "ꟹ "
- trigger: "\\^oopen "
replace: "ᵓ "
- trigger: "\\^otop "
replace: "ᵔ "
- trigger: "\\^p "
replace: "ᵖ "
- trigger: "\\^perp "
replace: "ᗮ "
- trigger: "\\^phi "
replace: "ᶲ "
- trigger: "\\^r "
replace: "ʳ "
- trigger: "\\^s "
replace: "ˢ "
- trigger: "\\^schwa "
replace: "ᵊ "
- trigger: "\\^shook "
replace: "ᶳ "
- trigger: "\\^stop "
replace: "ˤ "
- trigger: "\\^t "
replace: "ᵗ "
- trigger: "\\^theta "
replace: "ᶿ "
- trigger: "\\^turneda "
replace: "ᵄ "
- trigger: "\\^turnedae "
replace: "ᵆ "
- trigger: "\\^turnedalpha "
replace: "ᶛ "
- trigger: "\\^turnede "
replace: "ᵌ "
- trigger: "\\^turnedh "
replace: "ᶣ "
- trigger: "\\^turnedi "
replace: "ᵎ "
- trigger: "\\^turnedm "
replace: "ᵚ "
- trigger: "\\^turnedmleg "
replace: "ᶭ "
- trigger: "\\^turnedr "
replace: "ʴ "
- trigger: "\\^turnedrhook "
replace: "ʵ "
- trigger: "\\^turnedrwithhook "
replace: "ʵ "
- trigger: "\\^turnedv "
replace: "ᶺ "
- trigger: "\\^twithpalatalhook "
replace: "ᶵ "
- trigger: "\\^u "
replace: "ᵘ "
- trigger: "\\^ubar "
replace: "ᶶ "
- trigger: "\\^uhook "
replace: "ꭟ "
- trigger: "\\^upsilon "
replace: "ᶷ "
- trigger: "\\^usideways "
replace: "ᵙ "
- trigger: "\\^v "
replace: "ᵛ "
- trigger: "\\^vargamma "
replace: "ᵞ "
- trigger: "\\^varphi "
replace: "ᵠ "
- trigger: "\\^vhook "
replace: "ᶹ "
- trigger: "\\^w "
replace: "ʷ "
- trigger: "\\^x "
replace: "ˣ "
- trigger: "\\^y "
replace: "ʸ "
- trigger: "\\^z "
replace: "ᶻ "
- trigger: "\\^zcurl "
replace: "ᶽ "
- trigger: "\\^zretroflexhook "
replace: "ᶼ "
- trigger: "\\^{A} "
replace: "Â "
- trigger: "\\^{E} "
replace: "Ê "
- trigger: "\\^{I} "
replace: "Î "
- trigger: "\\^{O} "
replace: "Ô "
- trigger: "\\^{U} "
replace: "Û "
- trigger: "\\^{a} "
replace: "â "
- trigger: "\\^{e} "
replace: "ê "
- trigger: "\\^{i} "
replace: "î "
- trigger: "\\^{o} "
replace: "ô "
- trigger: "\\^{u} "
replace: "û "
- trigger: "\\_( "
replace: "₍ "
- trigger: "\\_) "
replace: "₎ "
- trigger: "\\_+ "
replace: "₊ "
- trigger: "\\_- "
replace: "₋ "
- trigger: "\\_-- "
replace: "̲ "
- trigger: "\\_0 "
replace: "₀ "
- trigger: "\\_1 "
replace: "₁ "
- trigger: "\\_2 "
replace: "₂ "
- trigger: "\\_3 "
replace: "₃ "
- trigger: "\\_4 "
replace: "₄ "
- trigger: "\\_5 "
replace: "₅ "
- trigger: "\\_6 "
replace: "₆ "
- trigger: "\\_7 "
replace: "₇ "
- trigger: "\\_8 "
replace: "₈ "
- trigger: "\\_9 "
replace: "₉ "
- trigger: "\\_= "
replace: "₌ "
- trigger: "\\_a "
replace: "ₐ "
- trigger: "\\_e "
replace: "ₑ "
- trigger: "\\_h "
replace: "ₕ "
- trigger: "\\_i "
replace: "ᵢ "
- trigger: "\\_j "
replace: "ⱼ "
- trigger: "\\_k "
replace: "ₖ "
- trigger: "\\_l "
replace: "ₗ "
- trigger: "\\_m "
replace: "ₘ "
- trigger: "\\_n "
replace: "ₙ "
- trigger: "\\_o "
replace: "ₒ "
- trigger: "\\_p "
replace: "ₚ "
- trigger: "\\_r "
replace: "ᵣ "
- trigger: "\\_s "
replace: "ₛ "
- trigger: "\\_t "
replace: "ₜ "
- trigger: "\\_u "
replace: "ᵤ "
- trigger: "\\_v "
replace: "ᵥ "
- trigger: "\\_x "
replace: "ₓ "
- trigger: "\\`A "
replace: "À "
- trigger: "\\`E "
replace: "È "
- trigger: "\\`I "
replace: "Ì "
- trigger: "\\`O "
replace: "Ò "
- trigger: "\\`U "
replace: "Ù "
- trigger: "\\`a "
replace: "à "
- trigger: "\\`e "
replace: "è "
- trigger: "\\`i "
replace: "ì "
- trigger: "\\`o "
replace: "ò "
- trigger: "\\`u "
replace: "ù "
- trigger: "\\a "
replace: "α "
- trigger: "\\aa "
replace: "å "
- trigger: "\\addopposite "
replace: "ᵃᵒᵖ "
- trigger: "\\ae "
replace: "æ "
- trigger: "\\aeeqfun "
replace: "→ₘ "
- trigger: "\\afghani "
replace: "؋ "
- trigger: "\\aleph "
replace: "ℵ "
- trigger: "\\aleph0 "
replace: "ℵ₀ "
- trigger: "\\alghom "
replace: "→ₐ "
- trigger: "\\all "
replace: "∀ "
- trigger: "\\all^f "
replace: "∀ᶠ "
- trigger: "\\all^m "
replace: "∀ᵐ "
- trigger: "\\allf "
replace: "∀ᶠ "
- trigger: "\\allm "
replace: "∀ᵐ "
- trigger: "\\alpha "
replace: "α "
- trigger: "\\amalg "
replace: "∐ "
- trigger: "\\an "
replace: "∧ "
- trigger: "\\and "
replace: "∧ "
- trigger: "\\and= "
replace: "≙ "
- trigger: "\\angle "
replace: "∠ "
- trigger: "\\angstrom "
replace: "Å "
- trigger: "\\aop "
replace: "ᵃᵒᵖ "
- trigger: "\\apl "
replace: "⌶ "
- trigger: "\\approx "
replace: "≈ "
- trigger: "\\approxeq "
replace: "≊ "
- trigger: "\\ast "
replace: "∗ "
- trigger: "\\asterisk "
replace: "⁎ "
- trigger: "\\asymp "
replace: "≍ "
- trigger: "\\austral "
replace: "₳ "
- trigger: "\\average "
replace: "⨍ "
- trigger: "\\b "
replace: "β "
- trigger: "\\b+ "
replace: "⊞ "
- trigger: "\\b- "
replace: "⊟ "
- trigger: "\\b. "
replace: "⊡ "
- trigger: "\\b0 "
replace: "𝟘 "
- trigger: "\\b1 "
replace: "𝟙 "
- trigger: "\\b2 "
replace: "𝟚 "
- trigger: "\\b3 "
replace: "𝟛 "
- trigger: "\\b4 "
replace: "𝟜 "
- trigger: "\\b5 "
replace: "𝟝 "
- trigger: "\\b6 "
replace: "𝟞 "
- trigger: "\\b7 "
replace: "𝟟 "
- trigger: "\\b8 "
replace: "𝟠 "
- trigger: "\\b9 "
replace: "𝟡 "
- trigger: "\\bInter "
replace: "⋂ "
- trigger: "\\bUnion "
replace: "⋃ "
- trigger: "\\backcong "
replace: "≌ "
- trigger: "\\backepsilon "
replace: "∍ "
- trigger: "\\backprime "
replace: "‵ "
- trigger: "\\backsim "
replace: "∽ "
- trigger: "\\backsimeq "
replace: "⋍ "
- trigger: "\\barwedge "
replace: "⊼ "
- trigger: "\\bb "
replace: "𝔹 "
- trigger: "\\bbA "
replace: "𝔸 "
- trigger: "\\bbB "
replace: "𝔹 "
- trigger: "\\bbC "
replace: "ℂ "
- trigger: "\\bbD "
replace: "𝔻 "
- trigger: "\\bbE "
replace: "𝔼 "
- trigger: "\\bbF "
replace: "𝔽 "
- trigger: "\\bbG "
replace: "𝔾 "
- trigger: "\\bbH "
replace: "ℍ "
- trigger: "\\bbI "
replace: "𝕀 "
- trigger: "\\bbJ "
replace: "𝕁 "
- trigger: "\\bbK "
replace: "𝕂 "
- trigger: "\\bbL "
replace: "𝕃 "
- trigger: "\\bbM "
replace: "𝕄 "
- trigger: "\\bbN "
replace: "ℕ "
- trigger: "\\bbO "
replace: "𝕆 "
- trigger: "\\bbP "
replace: "ℙ "
- trigger: "\\bbQ "
replace: "ℚ "
- trigger: "\\bbR "
replace: "ℝ "
- trigger: "\\bbS "
replace: "𝕊 "
- trigger: "\\bbT "
replace: "𝕋 "
- trigger: "\\bbU "
replace: "𝕌 "
- trigger: "\\bbV "
replace: "𝕍 "
- trigger: "\\bbW "
replace: "𝕎 "
- trigger: "\\bbX "
replace: "𝕏 "
- trigger: "\\bbY "
replace: "𝕐 "
- trigger: "\\bbZ "
replace: "ℤ "
- trigger: "\\bba "
replace: "𝕒 "
- trigger: "\\bbb "
replace: "𝕓 "
- trigger: "\\bbc "
replace: "𝕔 "
- trigger: "\\bbd "
replace: "𝕕 "
- trigger: "\\bbe "
replace: "𝕖 "
- trigger: "\\bbf "
replace: "𝕗 "
- trigger: "\\bbg "
replace: "𝕘 "
- trigger: "\\bbh "
replace: "𝕙 "
- trigger: "\\bbi "
replace: "𝕚 "
- trigger: "\\bbj "
replace: "𝕛 "
- trigger: "\\bbk "
replace: "𝕜 "
- trigger: "\\bbl "
replace: "𝕝 "
- trigger: "\\bbm "
replace: "𝕞 "
- trigger: "\\bbn "
replace: "𝕟 "
- trigger: "\\bbo "
replace: "𝕠 "
- trigger: "\\bbp "
replace: "𝕡 "
- trigger: "\\bbq "
replace: "𝕢 "
- trigger: "\\bbr "
replace: "𝕣 "
- trigger: "\\bbs "
replace: "𝕤 "
- trigger: "\\bbt "
replace: "𝕥 "
- trigger: "\\bbu "
replace: "𝕦 "
- trigger: "\\bbv "
replace: "𝕧 "
- trigger: "\\bbw "
replace: "𝕨 "
- trigger: "\\bbx "
replace: "𝕩 "
- trigger: "\\bby "
replace: "𝕪 "
- trigger: "\\bbz "
replace: "𝕫 "
- trigger: "\\bc "
replace: "ℂ "
- trigger: "\\be "
replace: "β "
- trigger: "\\because "
replace: "∵ "
- trigger: "\\beta "
replace: "β "
- trigger: "\\beth "
replace: "ℶ "
- trigger: "\\between "
replace: "≬ "
- trigger: "\\bfA "
replace: "𝐀 "
- trigger: "\\bfB "
replace: "𝐁 "
- trigger: "\\bfC "
replace: "𝐂 "
- trigger: "\\bfD "
replace: "𝐃 "
- trigger: "\\bfE "
replace: "𝐄 "
- trigger: "\\bfF "
replace: "𝐅 "
- trigger: "\\bfG "
replace: "𝐆 "
- trigger: "\\bfH "
replace: "𝐇 "
- trigger: "\\bfI "
replace: "𝐈 "
- trigger: "\\bfJ "
replace: "𝐉 "
- trigger: "\\bfK "
replace: "𝐊 "
- trigger: "\\bfL "
replace: "𝐋 "
- trigger: "\\bfM "
replace: "𝐌 "
- trigger: "\\bfN "
replace: "𝐍 "
- trigger: "\\bfO "
replace: "𝐎 "
- trigger: "\\bfP "
replace: "𝐏 "
- trigger: "\\bfQ "
replace: "𝐐 "
- trigger: "\\bfR "
replace: "𝐑 "
- trigger: "\\bfS "
replace: "𝐒 "
- trigger: "\\bfT "
replace: "𝐓 "
- trigger: "\\bfU "
replace: "𝐔 "
- trigger: "\\bfV "
replace: "𝐕 "
- trigger: "\\bfW "
replace: "𝐖 "
- trigger: "\\bfX "
replace: "𝐗 "
- trigger: "\\bfY "
replace: "𝐘 "
- trigger: "\\bfZ "
replace: "𝐙 "
- trigger: "\\bfa "
replace: "𝐚 "
- trigger: "\\bfb "
replace: "𝐛 "
- trigger: "\\bfc "
replace: "𝐜 "
- trigger: "\\bfd "
replace: "𝐝 "
- trigger: "\\bfe "
replace: "𝐞 "
- trigger: "\\bff "
replace: "𝐟 "
- trigger: "\\bfg "
replace: "𝐠 "
- trigger: "\\bfh "
replace: "𝐡 "
- trigger: "\\bfi "
replace: "𝐢 "
- trigger: "\\bfj "
replace: "𝐣 "
- trigger: "\\bfk "
replace: "𝐤 "
- trigger: "\\bfl "
replace: "𝐥 "
- trigger: "\\bfm "
replace: "𝐦 "
- trigger: "\\bfn "
replace: "𝐧 "
- trigger: "\\bfo "
replace: "𝐨 "
- trigger: "\\bfp "
replace: "𝐩 "
- trigger: "\\bfq "
replace: "𝐪 "
- trigger: "\\bfr "
replace: "𝐫 "
- trigger: "\\bfs "
replace: "𝐬 "
- trigger: "\\bft "
replace: "𝐭 "
- trigger: "\\bfu "
replace: "𝐮 "
- trigger: "\\bfv "
replace: "𝐯 "
- trigger: "\\bfw "
replace: "𝐰 "
- trigger: "\\bfx "
replace: "𝐱 "
- trigger: "\\bfy "
replace: "𝐲 "
- trigger: "\\bfz "
replace: "𝐳 "
- trigger: "\\bigcap "
replace: "⋂ "
- trigger: "\\bigcirc "
replace: "◯ "
- trigger: "\\bigcoprod "
replace: "∐ "
- trigger: "\\bigcup "
replace: "⋃ "
- trigger: "\\bigglb "
replace: "⨅ "
- trigger: "\\biginf "
replace: "⨅ "
- trigger: "\\bigjoin "
replace: "⨆ "
- trigger: "\\biglub "
replace: "⨆ "
- trigger: "\\bigmeet "
replace: "⨅ "
- trigger: "\\bigsolidus "
replace: "⧸ "
- trigger: "\\bigsqcap "
replace: "⨅ "
- trigger: "\\bigsqcup "
replace: "⨆ "
- trigger: "\\bigstar "
replace: "★ "
- trigger: "\\bigsup "
replace: "⨆ "
- trigger: "\\bigtriangledown "
replace: "▽ "
- trigger: "\\bigtriangleup "
replace: "△ "
- trigger: "\\bigvee "
replace: "⋁ "
- trigger: "\\bigwedge "
replace: "⋀ "
- trigger: "\\bihimp "
replace: "⇔ "
- trigger: "\\biohazard "
replace: "☣ "
- trigger: "\\blacklozenge "
replace: "✦ "
- trigger: "\\blacksmiley "
replace: "☻ "
- trigger: "\\blacksquare "
replace: "▪ "
- trigger: "\\blacktriangle "
replace: "▴ "
- trigger: "\\blacktriangledown "
replace: "▾ "
- trigger: "\\blacktriangleleft "
replace: "◂ "
- trigger: "\\blacktriangleright "
replace: "▸ "
- trigger: "\\bn "
replace: "ℕ "
- trigger: "\\bot "
replace: "⊥ "
- trigger: "\\boundedcontinuousfunction "
replace: "→ᵇ "
- trigger: "\\bowtie "
replace: "⋈ "
- trigger: "\\boxmid "
replace: "◫ "
- trigger: "\\boxminus "
replace: "⊟ "
- trigger: "\\boxplus "
replace: "⊞ "
- trigger: "\\boxtimes "
replace: "⊠ "
- trigger: "\\bp "
replace: "ℙ "
- trigger: "\\bq "
replace: "ℚ "
- trigger: "\\br "
replace: "ℝ "
- trigger: "\\bracketl "
replace: "⁅ "
- trigger: "\\bracketr "
replace: "⁆ "
- trigger: "\\brokenbar "
replace: "¦ "
- trigger: "\\bsum "
replace: "⅀ "
- trigger: "\\bu "
replace: "• "
- trigger: "\\bub "
replace: "• "
- trigger: "\\bumpeq "
replace: "≏ "
- trigger: "\\but "
replace: "‣ "
- trigger: "\\buw "
replace: "◦ "
- trigger: "\\bx "
replace: "⊠ "
- trigger: "\\bz "
replace: "ℤ "
- trigger: "\\c "
replace: "χ "
- trigger: "\\cC "
replace: "Ç "
- trigger: "\\c[ "
replace: "⦃ "
- trigger: "\\c] "
replace: "⦄ "
- trigger: "\\cap "
replace: "∩ "
- trigger: "\\caution "
replace: "☡ "
- trigger: "\\cc "
replace: "ç "
- trigger: "\\cdot "
replace: "· "
- trigger: "\\cdots "
replace: "⋯ "
- trigger: "\\ce "
replace: "ȩ "
- trigger: "\\cedi "
replace: "₵ "
- trigger: "\\celsius "
replace: "℃ "
- trigger: "\\cent "
replace: "¢ "
- trigger: "\\centerdot "
replace: "· "
- trigger: "\\ch "
replace: "χ "
- trigger: "\\checkmark "
replace: "✓ "
- trigger: "\\chi "
replace: "χ "
- trigger: "\\ci "
replace: "● "
- trigger: "\\ci. "
replace: "◎ "
- trigger: "\\ci.. "
replace: "◌ "
- trigger: "\\ciO "
replace: "◯ "
- trigger: "\\cib "
replace: "● "
- trigger: "\\circ "
replace: "∘ "
- trigger: "\\circeq "
replace: "≗ "
- trigger: "\\circlearrowleft "
replace: "↺ "
- trigger: "\\circlearrowright "
replace: "↻ "
- trigger: "\\circledR "
replace: "® "
- trigger: "\\circledS "
replace: "Ⓢ "
- trigger: "\\circledast "
replace: "⊛ "
- trigger: "\\circledcirc "
replace: "⊚ "
- trigger: "\\circleddash "
replace: "⊝ "
- trigger: "\\ciw "
replace: "○ "
- trigger: "\\cl "
replace: "⌞ "
- trigger: "\\clL "
replace: "⌊ "
- trigger: "\\clR "
replace: "⌋ "
- trigger: "\\cll "
replace: "⌞ "
- trigger: "\\clr "
replace: "⌟ "
- trigger: "\\clubsuit "
replace: "♣ "
- trigger: "\\colon "
replace: "₡ "
- trigger: "\\coloneq "
replace: "≔ "
- trigger: "\\com "
replace: "ℂ "
- trigger: "\\comp "
replace: "∘ "
- trigger: "\\compl "
replace: "ᶜ "
- trigger: "\\complement "
replace: "ᶜ "
- trigger: "\\complementprefix "
replace: "∁ "
- trigger: "\\con "
replace: "⬝ "
- trigger: "\\cong "
replace: "≅ "
- trigger: "\\construction "
replace: "🚧 "
- trigger: "\\coprod "
replace: "⨿ "
- trigger: "\\copyright "
replace: "© "
- trigger: "\\covby "
replace: "⋖ "
- trigger: "\\covers "
replace: "⋖ "
- trigger: "\\crossproduct "
replace: "⨯ "
- trigger: "\\cruzeiro "
replace: "₢ "
- trigger: "\\cu "
replace: "⌜ "
- trigger: "\\cuL "
replace: "⌈ "
- trigger: "\\cuR "
replace: "⌉ "
- trigger: "\\cul "
replace: "⌜ "
- trigger: "\\cup "
replace: "∪ "
- trigger: "\\cur "
replace: "⌝ "
- trigger: "\\curlyeqprec "
replace: "⋞ "
- trigger: "\\curlyeqsucc "
replace: "⋟ "
- trigger: "\\curlypreceq "
replace: "≼ "
- trigger: "\\curlyvee "
replace: "⋎ "
- trigger: "\\curlywedge "
replace: "⋏ "
- trigger: "\\currency "
replace: "¤ "
- trigger: "\\curvearrowleft "
replace: "↶ "
- trigger: "\\curvearrowright "
replace: "↷ "
- trigger: "\\d "
replace: "↓ "
- trigger: "\\d- "
replace: "↓ "
- trigger: "\\d-2 "
replace: "⇊ "
- trigger: "\\d-u- "
replace: "⇵ "
- trigger: "\\d-| "
replace: "↧ "
- trigger: "\\d= "
replace: "⇓ "
- trigger: "\\d== "
replace: "⟱ "
- trigger: "\\dag "
replace: "† "
- trigger: "\\dagger "
replace: "† "
- trigger: "\\daleth "
replace: "ℸ "
- trigger: "\\dashv "
replace: "⊣ "
- trigger: "\\dd- "
replace: "↡ "
- trigger: "\\ddag "
replace: "‡ "
- trigger: "\\ddagger "
replace: "‡ "
- trigger: "\\ddots "
replace: "⋱ "
- trigger: "\\de "
replace: "δ "
- trigger: "\\def= "
replace: "≝ "
- trigger: "\\defs "
replace: "≙ "
- trigger: "\\degree "
replace: "° "
- trigger: "\\dei "
replace: "ϯ "
- trigger: "\\delta "
replace: "δ "
- trigger: "\\dfinsupp "
replace: "→ₚ "
- trigger: "\\dh "
replace: "ð "
- trigger: "\\di "
replace: "◆ "
- trigger: "\\di. "
replace: "◈ "
- trigger: "\\diameter "
replace: "⌀ "
- trigger: "\\diamond "
replace: "⋄ "
- trigger: "\\diamondsuit "
replace: "♢ "
- trigger: "\\dib "
replace: "◆ "
- trigger: "\\die "
replace: "⚀ "
- trigger: "\\digamma "
replace: "ϝ "
- trigger: "\\directsum "
replace: "⨁ "
- trigger: "\\div "
replace: "÷ "
- trigger: "\\divideontimes "
replace: "⋇ "
- trigger: "\\division "
replace: "÷ "
- trigger: "\\diw "
replace: "◇ "
- trigger: "\\dl "
replace: "↙ "
- trigger: "\\dl- "
replace: "↙ "
- trigger: "\\dl= "
replace: "⇙ "
- trigger: "\\dong "
replace: "₫ "
- trigger: "\\dot "
replace: "· "
- trigger: "\\doteq "
replace: "≐ "
- trigger: "\\doteqdot "
replace: "≑ "
- trigger: "\\dotplus "
replace: "∔ "
- trigger: "\\dotsquare "
replace: "⊡ "
- trigger: "\\downarrow "
replace: "↓ "
- trigger: "\\downdownarrows "
replace: "⇊ "
- trigger: "\\downleftharpoon "
replace: "⇃ "
- trigger: "\\downrightharpoon "
replace: "⇂ "
- trigger: "\\dr "
replace: "↘ "
- trigger: "\\dr- "
replace: "↘ "
- trigger: "\\dr= "
replace: "⇘ "
- trigger: "\\drachma "
replace: "₯ "
- trigger: "\\dvd "
replace: "∣ "
- trigger: "\\dz "
replace: "↯ "
- trigger: "\\e "
replace: "ε "
- trigger: "\\ell "
replace: "ℓ "
- trigger: "\\em "
replace: "— "
- trigger: "\\empty "
replace: "∅ "
- trigger: "\\emptyset "
replace: "∅ "
- trigger: "\\en "
replace: "– "
- trigger: "\\enat "
replace: "ℕ∞ "
- trigger: "\\ennreal "
replace: "ℝ≥0∞ "
- trigger: "\\entails "
replace: "⊢ "
- trigger: "\\ep "
replace: "ε "
- trigger: "\\eps "
replace: "ε "
- trigger: "\\epsilon "
replace: "ε "
- trigger: "\\eqcirc "
replace: "≖ "
- trigger: "\\eqcolon "
replace: "≕ "
- trigger: "\\eqn "
replace: "≠ "
- trigger: "\\eqslantgtr "
replace: "⋝ "
- trigger: "\\eqslantless "
replace: "⋜ "
- trigger: "\\equiv "
replace: "≃ "
- trigger: "\\et "
replace: "η "
- trigger: "\\eta "
replace: "η "
- trigger: "\\euro "
replace: "€ "
- trigger: "\\ex "
replace: "∃ "
- trigger: "\\exf "
replace: "∃ᶠ "
- trigger: "\\exists "
replace: "∃ "
- trigger: "\\exn "
replace: "∄ "
- trigger: "\\f< "
replace: "‹ "
- trigger: "\\f<< "
replace: "« "
- trigger: "\\f> "
replace: "› "
- trigger: "\\f>> "
replace: "» "
- trigger: "\\facsimile "
replace: "℻ "
- trigger: "\\fallingdotseq "
replace: "≒ "
- trigger: "\\fei "
replace: "ϥ "
- trigger: "\\female "
replace: "♀ "
- trigger: "\\finprod "
replace: "∏ᶠ "
- trigger: "\\finsum "
replace: "∑ᶠ "
- trigger: "\\finsupp "
replace: "→₀ "
- trigger: "\\flat "
replace: "♭ "
- trigger: "\\flq "
replace: "‹ "
- trigger: "\\flqq "
replace: "« "
- trigger: "\\forall "
replace: "∀ "
- trigger: "\\frac "
replace: "¼ "
- trigger: "\\frac1 "
replace: "⅟ "
- trigger: "\\frac12 "
replace: "½ "
- trigger: "\\frac13 "
replace: "⅓ "
- trigger: "\\frac14 "
replace: "¼ "
- trigger: "\\frac15 "
replace: "⅕ "
- trigger: "\\frac16 "
replace: "⅙ "
- trigger: "\\frac18 "
replace: "⅛ "
- trigger: "\\frac23 "
replace: "⅔ "
- trigger: "\\frac25 "
replace: "⅖ "
- trigger: "\\frac34 "
replace: "¾ "
- trigger: "\\frac35 "
replace: "⅗ "
- trigger: "\\frac38 "
replace: "⅜ "
- trigger: "\\frac45 "
replace: "⅘ "
- trigger: "\\frac56 "
replace: "⅚ "
- trigger: "\\frac58 "
replace: "⅝ "
- trigger: "\\frac78 "
replace: "⅞ "
- trigger: "\\frown "
replace: "⌢ "
- trigger: "\\frq "
replace: "› "
- trigger: "\\frqq "
replace: "» "
- trigger: "\\fun "
replace: "λ "
- trigger: "\\functor "
replace: "⥤ "
- trigger: "\\fuzzy "
replace: "‖ "
- trigger: "\\g "
replace: "γ "
- trigger: "\\ga "
replace: "γ "
- trigger: "\\gamma "
replace: "γ "
- trigger: "\\gangia "
replace: "ϫ "
- trigger: "\\ge "
replace: "≥ "
- trigger: "\\gen "
replace: "≱ "
- trigger: "\\geq "
replace: "≥ "
- trigger: "\\geqn "
replace: "≱ "
- trigger: "\\geqq "
replace: "≧ "
- trigger: "\\geqslant "
replace: "≥ "
- trigger: "\\gets "
replace: "← "
- trigger: "\\gg "
replace: "≫ "
- trigger: "\\ggg "
replace: "⋙ "
- trigger: "\\gimel "
replace: "ℷ "
- trigger: "\\glb "
replace: "⊓ "
- trigger: "\\glq "
replace: "‚ "
- trigger: "\\glqq "
replace: "„ "
- trigger: "\\gnapprox "
replace: "⋧ "
- trigger: "\\gneq "
replace: "≩ "
- trigger: "\\gneqq "
replace: "≩ "
- trigger: "\\gnsim "
replace: "⋧ "
- trigger: "\\goal "
replace: "⊢ "
- trigger: "\\grq "
replace: "‘ "
- trigger: "\\grqq "
replace: "“ "
- trigger: "\\gtrapprox "
replace: "≳ "
- trigger: "\\gtrdot "
replace: "⋗ "
- trigger: "\\gtreqless "
replace: "⋛ "
- trigger: "\\gtreqqless "
replace: "⋛ "
- trigger: "\\gtrless "
replace: "≷ "
- trigger: "\\gtrsim "
replace: "≳ "
- trigger: "\\guarani "
replace: "₲ "
- trigger: "\\gvertneqq "
replace: "≩ "
- trigger: "\\hbar "
replace: "ℏ "
- trigger: "\\hcomp "
replace: "◫ "
- trigger: "\\heartsuit "
replace: "♥ "
- trigger: "\\heq "
replace: "≍ "
- trigger: "\\heta "
replace: "ͱ "
- trigger: "\\heyting "
replace: "⇨ "
- trigger: "\\himp "
replace: "⇨ "
- trigger: "\\hnot "
replace: "¬ "
- trigger: "\\hom "
replace: "⟶ "
- trigger: "\\homotopy "
replace: "∼ "
- trigger: "\\hookleftarrow "
replace: "↩ "
- trigger: "\\hookrightarrow "
replace: "↪ "
- trigger: "\\hori "
replace: "ϩ "
- trigger: "\\hryvnia "
replace: "₴ "
- trigger: "\\i "
replace: "∩ "
- trigger: "\\iff "
replace: "↔ "
- trigger: "\\imath "
replace: "ı "
- trigger: "\\imp "
replace: "→ "
- trigger: "\\in "
replace: "∈ "
- trigger: "\\increment "
replace: "∆ "
- trigger: "\\inf "
replace: "⊓ "
- trigger: "\\infi "
replace: "⨅ "
- trigger: "\\infty "
replace: "∞ "
- trigger: "\\inn "
replace: "∉ "
- trigger: "\\int "
replace: "ℤ "
- trigger: "\\integral "
replace: "∫ "
- trigger: "\\integral- "
replace: "⨍ "
- trigger: "\\inter "
replace: "∩ "
- trigger: "\\intercal "
replace: "⊺ "
- trigger: "\\intersection "
replace: "∩ "
- trigger: "\\inv "
replace: "⁻¹ "
- trigger: "\\io "
replace: "ι "
- trigger: "\\iota "
replace: "ι "
- trigger: "\\iso "
replace: "≅ "
- trigger: "\\join "
replace: "⊔ "
- trigger: "\\kI "
replace: "Į "
- trigger: "\\ka "
replace: "κ "
- trigger: "\\kappa "
replace: "κ "
- trigger: "\\kelvin "
replace: "K "
- trigger: "\\khei "
replace: "ϧ "
- trigger: "\\ki "
replace: "į "
- trigger: "\\kip "
replace: "₭ "
- trigger: "\\koppa "
replace: "ϟ "
- trigger: "\\l "
replace: "← "
- trigger: "\\l- "
replace: "← "
- trigger: "\\l-- "
replace: "⟵ "
- trigger: "\\l-2 "
replace: "⇇ "
- trigger: "\\l-> "
replace: "↢ "
- trigger: "\\l-n "
replace: "↚ "
- trigger: "\\l-r- "
replace: "⇆ "
- trigger: "\\l-| "
replace: "↤ "
- trigger: "\\l1 "
replace: "→₁ "
- trigger: "\\l1simplefunc "
replace: "→₁ₛ "
- trigger: "\\l= "
replace: "⇐ "
- trigger: "\\l== "
replace: "⇚ "
- trigger: "\\l=n "
replace: "⇍ "
- trigger: "\\la "
replace: "λ "
- trigger: "\\lam "
replace: "λ "
- trigger: "\\lambda "
replace: "λ "
- trigger: "\\lamda "
replace: "λ "
- trigger: "\\langle "
replace: "⟨ "
- trigger: "\\lari "
replace: "₾ "
- trigger: "\\lbag "
replace: "⟅ "
- trigger: "\\lceil "
replace: "⌈ "
- trigger: "\\ldata "
replace: "《 "
- trigger: "\\ldots "
replace: "… "
- trigger: "\\ldq "
replace: "“ "
- trigger: "\\le "
replace: "≤ "
- trigger: "\\leadsto "
replace: "↝ "
- trigger: "\\leftarrow "
replace: "← "
- trigger: "\\leftarrowtail "
replace: "↢ "
- trigger: "\\leftharpoondown "
replace: "↽ "
- trigger: "\\leftharpoonup "
replace: "↼ "
- trigger: "\\leftleftarrows "
replace: "⇇ "
- trigger: "\\leftrightarrow "
replace: "↔ "
- trigger: "\\leftrightarrows "
replace: "⇆ "
- trigger: "\\leftrightharpoons "
replace: "⇋ "
- trigger: "\\leftrightsquigarrow "
replace: "↭ "
- trigger: "\\leftthreetimes "
replace: "⋋ "
- trigger: "\\len "
replace: "≰ "
- trigger: "\\leq "
replace: "≤ "
- trigger: "\\leqn "
replace: "≰ "
- trigger: "\\leqq "
replace: "≦ "
- trigger: "\\leqslant "
replace: "≤ "
- trigger: "\\lessapprox "
replace: "≲ "
- trigger: "\\lessdot "
replace: "⋖ "
- trigger: "\\lesseqgtr "
replace: "⋚ "
- trigger: "\\lesseqqgtr "
replace: "⋚ "
- trigger: "\\lessgtr "
replace: "≶ "
- trigger: "\\lesssim "
replace: "≲ "
- trigger: "\\lf "
replace: "⧏ "
- trigger: "\\lfloor "
replace: "⌊ "
- trigger: "\\lhd "
replace: "◁ "
- trigger: "\\liel "
replace: "⁅ "
- trigger: "\\lier "
replace: "⁆ "
- trigger: "\\linearmap "
replace: "→ₗ "
- trigger: "\\lira "
replace: "₤ "
- trigger: "\\ll "
replace: "≪ "
- trigger: "\\ll- "
replace: "↞ "
- trigger: "\\llbracket "
replace: "〚 "
- trigger: "\\llcorner "
replace: "⌞ "
- trigger: "\\lnapprox "
replace: "⋦ "
- trigger: "\\lneq "
replace: "≨ "
- trigger: "\\lneqq "
replace: "≨ "
- trigger: "\\lnot "
replace: "¬ "
- trigger: "\\lnsim "
replace: "⋦ "
- trigger: "\\longleftarrow "
replace: "⟵ "
- trigger: "\\longleftrightarrow "
replace: "⟷ "
- trigger: "\\longrightarrow "
replace: "⟶ "
- trigger: "\\looparrowleft "
replace: "↫ "
- trigger: "\\looparrowright "
replace: "↬ "
- trigger: "\\lozenge "
replace: "✧ "
- trigger: "\\lq "
replace: "‘ "
- trigger: "\\lr "
replace: "↔ "
- trigger: "\\lr- "
replace: "↔ "
- trigger: "\\lr-- "
replace: "⟷ "
- trigger: "\\lr-n "
replace: "↮ "
- trigger: "\\lr= "
replace: "⇔ "
- trigger: "\\lr=n "
replace: "⇎ "
- trigger: "\\lrcorner "
replace: "⌟ "
- trigger: "\\lr~ "
replace: "↭ "
- trigger: "\\lsimplex "
replace: "⦋ "
- trigger: "\\ltimes "
replace: "⋉ "
- trigger: "\\lub "
replace: "⊔ "
- trigger: "\\lvertneqq "
replace: "≨ "
- trigger: "\\l~ "
replace: "↜ "
- trigger: "\\m "
replace: "μ "
- trigger: "\\m= "
replace: "≞ "
- trigger: "\\ma "
replace: "↦ "
- trigger: "\\male "
replace: "♂ "
- trigger: "\\maltese "
replace: "✠ "
- trigger: "\\manat "
replace: "₼ "
- trigger: "\\mapsto "
replace: "↦ "
- trigger: "\\mathscr{I} "
replace: "ℐ "
- trigger: "\\measuredangle "
replace: "∡ "
- trigger: "\\meet "
replace: "⊓ "
- trigger: "\\mem "
replace: "∈ "
- trigger: "\\member "
replace: "∈ "
- trigger: "\\mho "
replace: "℧ "
- trigger: "\\micro "
replace: "µ "
- trigger: "\\mid "
replace: "∣ "
- trigger: "\\mill "
replace: "₥ "
- trigger: "\\minus "
replace: "− "
- trigger: "\\miny "
replace: "⧿ "
- trigger: "\\models "
replace: "⊧ "
- trigger: "\\mop "
replace: "ᵐᵒᵖ "
- trigger: "\\mp "
replace: "∓ "
- trigger: "\\mu "
replace: "μ "
- trigger: "\\mulopposite "
replace: "ᵐᵒᵖ "
- trigger: "\\multimap "
replace: "⊸ "
- trigger: "\\multiplication "
replace: "× "
- trigger: "\\n "
replace: "¬ "
- trigger: "\\nLeftarrow "
replace: "⇍ "
- trigger: "\\nLeftrightarrow "
replace: "⇎ "
- trigger: "\\nRightarrow "
replace: "⇏ "
- trigger: "\\nVDash "
replace: "⊯ "
- trigger: "\\nVdash "
replace: "⊮ "
- trigger: "\\nabla "
replace: "∇ "
- trigger: "\\naira "
replace: "₦ "
- trigger: "\\napprox "
replace: "≉ "
- trigger: "\\nat "
replace: "ℕ "
- trigger: "\\nat_trans "
replace: "⟹ "
- trigger: "\\nattrans "
replace: "⟹ "
- trigger: "\\natural "
replace: "♮ "
- trigger: "\\nbhds "
replace: "𝓝 "
- trigger: "\\ncong "
replace: "≇ "
- trigger: "\\ne "
replace: "≠ "
- trigger: "\\nearrow "
replace: "↗ "
- trigger: "\\neg "
replace: "¬ "
- trigger: "\\neq "
replace: "≠ "
- trigger: "\\nequiv "
replace: "≢ "
- trigger: "\\nexists "
replace: "∄ "
- trigger: "\\ngeq "
replace: "≱ "
- trigger: "\\ngeqq "
replace: "≱ "
- trigger: "\\ngeqslant "
replace: "≱ "
- trigger: "\\ngtr "
replace: "≯ "
- trigger: "\\nhds "
replace: "𝓝 "
- trigger: "\\ni "
replace: "∋ "
- trigger: "\\nin "
replace: "∉ "
- trigger: "\\nleftarrow "
replace: "↚ "
- trigger: "\\nleftrightarrow "
replace: "↮ "
- trigger: "\\nleq "
replace: "≰ "
- trigger: "\\nleqq "
replace: "≰ "
- trigger: "\\nleqslant "
replace: "≰ "
- trigger: "\\nless "
replace: "≮ "
- trigger: "\\nmid "
replace: "∤ "
- trigger: "\\nni "
replace: "∌ "
- trigger: "\\nnreal "
replace: "ℝ≥0 "
- trigger: "\\nomisma "
replace: "𐆎 "
- trigger: "\\not "
replace: "¬ "
- trigger: "\\note "
replace: "♩ "
- trigger: "\\notin "
replace: "∉ "
- trigger: "\\nparallel "
replace: "∦ "
- trigger: "\\nprec "
replace: "⊀ "
- trigger: "\\npreceq "
replace: "⋠ "
- trigger: "\\nrightarrow "
replace: "↛ "
- trigger: "\\nshortmid "
replace: "∤ "
- trigger: "\\nsim "
replace: "≁ "
- trigger: "\\nsimeq "
replace: "≄ "
- trigger: "\\nsubset "
replace: "⊄ "
- trigger: "\\nsubseteq "
replace: "⊈ "
- trigger: "\\nsubseteqq "
replace: "⊈ "
- trigger: "\\nsucc "
replace: "⊁ "
- trigger: "\\nsucceq "
replace: "⋡ "
- trigger: "\\nsupset "
replace: "⊅ "
- trigger: "\\nsupseteq "
replace: "⊉ "
- trigger: "\\nsupseteqq "
replace: "⊉ "
- trigger: "\\ntriangleleft "
replace: "⋪ "
- trigger: "\\ntrianglelefteq "
replace: "⋬ "
- trigger: "\\ntriangleright "
replace: "⋫ "
- trigger: "\\ntrianglerighteq "
replace: "⋭ "
- trigger: "\\nu "
replace: "ν "
- trigger: "\\numero "
replace: "№ "
- trigger: "\\nvDash "
replace: "⊭ "
- trigger: "\\nvdash "
replace: "⊬ "
- trigger: "\\nwarrow "
replace: "↖ "
- trigger: "\\o "
replace: "∘ "
- trigger: "\\o* "
replace: "∘* "
- trigger: "\\o+ "
replace: "⊕ "
- trigger: "\\o- "
replace: "⊝ "
- trigger: "\\o-- "
replace: "⊖ "
- trigger: "\\o. "
replace: "⊙ "
- trigger: "\\o/ "
replace: "⊘ "
- trigger: "\\o= "
replace: "⊜ "
- trigger: "\\octagonal "
replace: "🛑 "
- trigger: "\\od "
replace: "ᵒᵈ "
- trigger: "\\odot "
replace: "⊙ "
- trigger: "\\oe "
replace: "œ "
- trigger: "\\ohm "
replace: "Ω "
- trigger: "\\oiint "
replace: "∯ "
- trigger: "\\oint "
replace: "∮ "
- trigger: "\\om "
replace: "ω "
- trigger: "\\omega "
replace: "ω "
- trigger: "\\omicron "
replace: "ο "
- trigger: "\\ominus "
replace: "⊖ "
- trigger: "\\oo "
replace: "⊚ "
- trigger: "\\op "
replace: "ᵒᵖ "
- trigger: "\\oplus "
replace: "⊕ "
- trigger: "\\opposite "
replace: "ᵒᵖ "
- trigger: "\\or "
replace: "∨ "
- trigger: "\\or= "
replace: "≚ "
- trigger: "\\orderdual "
replace: "ᵒᵈ "
- trigger: "\\ordfeminine "
replace: "ª "
- trigger: "\\ordmasculine "
replace: "º "
- trigger: "\\oslash "
replace: "⊘ "
- trigger: "\\otimes "
replace: "⊗ "
- trigger: "\\ounce "
replace: "℥ "
- trigger: "\\ox "
replace: "⊗ "
- trigger: "\\p "
replace: "Π "
- trigger: "\\pa "
replace: "▰ "
- trigger: "\\pab "
replace: "▰ "
- trigger: "\\paragraph "
replace: "¶ "
- trigger: "\\parallel "
replace: "∥ "
- trigger: "\\partial "
replace: "∂ "
- trigger: "\\partnership "
replace: "㉐ "
- trigger: "\\paw "
replace: "▱ "
- trigger: "\\pd "
replace: "∂ "
- trigger: "\\per "
replace: "⅌ "
- trigger: "\\permil "
replace: "‰ "
- trigger: "\\perp "
replace: "⟂ "
- trigger: "\\peseta "
replace: "₧ "
- trigger: "\\peso "
replace: "₱ "
- trigger: "\\ph "
replace: "φ "
- trigger: "\\phi "
replace: "φ "
- trigger: "\\pi "
replace: "π "
- trigger: "\\pilcrow "
replace: "¶ "
- trigger: "\\pitchfork "
replace: "⋔ "
- trigger: "\\pitensorproduct "
replace: "⨂ "
- trigger: "\\pm "
replace: "± "
- trigger: "\\pound "
replace: "£ "
- trigger: "\\pounds "
replace: "£ "
- trigger: "\\powerset "
replace: "𝒫 "
- trigger: "\\pr "
replace: "↣ "
- trigger: "\\prec "
replace: "≺ "
- trigger: "\\precapprox "
replace: "≾ "
- trigger: "\\preceq "
replace: "≼ "
- trigger: "\\precnapprox "
replace: "⋨ "
- trigger: "\\precnsim "
replace: "⋨ "
- trigger: "\\precsim "
replace: "≾ "
- trigger: "\\preim "
replace: "⁻¹' "
- trigger: "\\preimage "
replace: "⁻¹' "
- trigger: "\\prime "
replace: "′ "
- trigger: "\\prod "
replace: "∏ "
- trigger: "\\prohibited "
replace: "🛇 "
- trigger: "\\propto "
replace: "∝ "
- trigger: "\\ps "
replace: "ψ "
- trigger: "\\psi "
replace: "ψ "
- trigger: "\\qed "
replace: "∎ "
- trigger: "\\quad "
replace: "  "
- trigger: "\\quot "
replace: "⧸ "
- trigger: "\\r "
replace: "→ "
- trigger: "\\r- "
replace: "→ "
- trigger: "\\r-- "
replace: "⟶ "
- trigger: "\\r-2 "
replace: "⇉ "
- trigger: "\\r-3 "
replace: "⇶ "
- trigger: "\\r-> "
replace: "↣ "
- trigger: "\\r-l- "
replace: "⇄ "
- trigger: "\\r-n "
replace: "↛ "
- trigger: "\\r-o "
replace: "⊸ "
- trigger: "\\r-| "
replace: "↦ "
- trigger: "\\r0 "
replace: "→₀ "
- trigger: "\\r1 "
replace: "→₁ "
- trigger: "\\r1s "
replace: "→₁ₛ "
- trigger: "\\r= "
replace: "⇒ "
- trigger: "\\r== "
replace: "⇛ "
- trigger: "\\r=n "
replace: "⇏ "
- trigger: "\\r^b "
replace: "→ᵇ "
- trigger: "\\r_0 "
replace: "→₀ "
- trigger: "\\r_1 "
replace: "→₁ "
- trigger: "\\r_1s "
replace: "→₁ₛ "
- trigger: "\\r_a "
replace: "→ₐ "
- trigger: "\\r_l "
replace: "→ₗ "
- trigger: "\\r_m "
replace: "→ₘ "
- trigger: "\\r_p "
replace: "→ₚ "
- trigger: "\\r_s "
replace: "→ₛ "
- trigger: "\\r_sl "
replace: "→ₛₗ "
- trigger: "\\ra "
replace: "→ₐ "
- trigger: "\\radioactive "
replace: "☢ "
- trigger: "\\rangle "
replace: "⟩ "
- trigger: "\\rat "
replace: "ℚ "
- trigger: "\\rb "
replace: "→ᵇ "
- trigger: "\\rbag "
replace: "⟆ "
- trigger: "\\rceil "
replace: "⌉ "
- trigger: "\\rdata "
replace: "》 "
- trigger: "\\rdq "
replace: "” "
- trigger: "\\re "
replace: "▬ "
- trigger: "\\real "
replace: "ℝ "
- trigger: "\\reb "
replace: "▬ "
- trigger: "\\registered "
replace: "® "
- trigger: "\\rew "
replace: "▭ "
- trigger: "\\rfloor "
replace: "⌋ "
- trigger: "\\rh "
replace: "ρ "
- trigger: "\\rhd "
replace: "▷ "
- trigger: "\\rho "
replace: "ρ "
- trigger: "\\rightangle "
replace: "∟ "
- trigger: "\\rightarrow "
replace: "→ "
- trigger: "\\rightarrowtail "
replace: "↣ "
- trigger: "\\rightharpoondown "
replace: "⇁ "
- trigger: "\\rightharpoonup "
replace: "⇀ "
- trigger: "\\rightleftarrows "
replace: "⇄ "
- trigger: "\\rightleftharpoons "
replace: "⇌ "
- trigger: "\\rightrightarrows "
replace: "⇉ "
- trigger: "\\rightthreetimes "
replace: "⋌ "
- trigger: "\\risingdotseq "
replace: "≓ "
- trigger: "\\rl "
replace: "→ₗ "
- trigger: "\\rm "
replace: "→ₘ "
- trigger: "\\root "
replace: "√ "
- trigger: "\\rp "
replace: "→ₚ "
- trigger: "\\rq "
replace: "’ "
- trigger: "\\rr- "
replace: "↠ "
- trigger: "\\rrbracket "
replace: "〛 "
- trigger: "\\rs "
replace: "→ₛ "
- trigger: "\\rsimplex "
replace: "⦌ "
- trigger: "\\rsl "
replace: "→ₛₗ "
- trigger: "\\rtimes "
replace: "⋊ "
- trigger: "\\ruble "
replace: "₽ "
- trigger: "\\rupee "
replace: "₨ "
- trigger: "\\r~ "
replace: "↝ "
- trigger: "\\sInter "
replace: "⋂₀ "
- trigger: "\\sUnion "
replace: "⋃₀ "
- trigger: "\\sampi "
replace: "ϡ "
- trigger: "\\san "
replace: "ϻ "
- trigger: "\\sb0 "
replace: "𝟬 "
- trigger: "\\sb1 "
replace: "𝟭 "
- trigger: "\\sb2 "
replace: "𝟮 "
- trigger: "\\sb3 "
replace: "𝟯 "
- trigger: "\\sb4 "
replace: "𝟰 "
- trigger: "\\sb5 "
replace: "𝟱 "
- trigger: "\\sb6 "
replace: "𝟲 "
- trigger: "\\sb7 "
replace: "𝟳 "
- trigger: "\\sb8 "
replace: "𝟴 "
- trigger: "\\sb9 "
replace: "𝟵 "
- trigger: "\\sbs "
replace: "﹨ "
- trigger: "\\scissor "
replace: "✂ "
- trigger: "\\searrow "
replace: "↘ "
- trigger: "\\section "
replace: "§ "
- trigger: "\\semilinearmap "
replace: "→ₛₗ "
- trigger: "\\setminus "
replace: "\\ "
- trigger: "\\sharp "
replace: "♯ "
- trigger: "\\shei "
replace: "ϣ "
- trigger: "\\shima "
replace: "ϭ "
- trigger: "\\sho "
replace: "ϸ "
- trigger: "\\shortmid "
replace: "∣ "
- trigger: "\\si "
replace: "σ "
- trigger: "\\sigma "
replace: "σ "
- trigger: "\\sigmaobj "
replace: "∐ "
- trigger: "\\sim "
replace: "∼ "
- trigger: "\\simeq "
replace: "≃ "
- trigger: "\\simplefunc "
replace: "→ₛ "
- trigger: "\\smallamalg "
replace: "∐ "
- trigger: "\\smallsetminus "
replace: "∖ "
- trigger: "\\smallsmile "
replace: "⌣ "
- trigger: "\\smile "
replace: "⌣ "
- trigger: "\\smul "
replace: "• "
- trigger: "\\spadesuit "
replace: "♠ "
- trigger: "\\span "
replace: "∙ "
- trigger: "\\specializes "
replace: "⤳ "
- trigger: "\\spesmilo "
replace: "₷ "
- trigger: "\\sphericalangle "
replace: "∢ "
- trigger: "\\sq "
replace: "◾ "
- trigger: "\\sq. "
replace: "▣ "
- trigger: "\\sqb "
replace: "■ "
- trigger: "\\sqcap "
replace: "⊓ "
- trigger: "\\sqcup "
replace: "⊔ "
- trigger: "\\sqo "
replace: "▢ "
- trigger: "\\sqrt "
replace: "√ "
- trigger: "\\sqsubset "
replace: "⊏ "
- trigger: "\\sqsubseteq "
replace: "⊑ "
- trigger: "\\sqsupset "
replace: "⊐ "
- trigger: "\\sqsupseteq "
replace: "⊒ "
- trigger: "\\square "
replace: "□ "
- trigger: "\\squb "
replace: "⊑ "
- trigger: "\\squbn "
replace: "⋢ "
- trigger: "\\squigarrowright "
replace: "⇝ "
- trigger: "\\squp "
replace: "⊒ "
- trigger: "\\squpn "
replace: "⋣ "
- trigger: "\\sqw "
replace: "□ "
- trigger: "\\ss "
replace: "⊆ "
- trigger: "\\ssqub "
replace: "⊏ "
- trigger: "\\ssqup "
replace: "⊐ "
- trigger: "\\ssub "
replace: "⊂ "
- trigger: "\\ssubn "
replace: "⊄ "
- trigger: "\\ssubset "
replace: "⊂ "
- trigger: "\\ssup "
replace: "⊃ "
- trigger: "\\ssupn "
replace: "⊅ "
- trigger: "\\ssupset "
replace: "⊃ "
- trigger: "\\st "
replace: "⋆ "
- trigger: "\\st12 "
replace: "✹ "
- trigger: "\\st4 "
replace: "✦ "
- trigger: "\\st6 "
replace: "✶ "
- trigger: "\\st8 "
replace: "✴ "
- trigger: "\\star "
replace: "⋆ "
- trigger: "\\stigma "
replace: "ϛ "
- trigger: "\\straightphi "
replace: "φ "
- trigger: "\\sub "
replace: "⊆ "
- trigger: "\\subn "
replace: "⊈ "
- trigger: "\\subset "
replace: "⊆ "
- trigger: "\\subseteq "
replace: "⊆ "
- trigger: "\\subseteqq "
replace: "⊆ "
- trigger: "\\subsetneq "
replace: "⊊ "
- trigger: "\\subsetneqq "
replace: "⊊ "
- trigger: "\\succ "
replace: "≻ "
- trigger: "\\succapprox "
replace: "≿ "
- trigger: "\\succcurlyeq "
replace: "≽ "
- trigger: "\\succeq "
replace: "≽ "
- trigger: "\\succnapprox "
replace: "⋩ "
- trigger: "\\succnsim "
replace: "⋩ "
- trigger: "\\succsim "
replace: "≿ "
- trigger: "\\sum "
replace: "∑ "
- trigger: "\\sup "
replace: "⊔ "
- trigger: "\\supn "
replace: "⊉ "
- trigger: "\\supr "
replace: "⨆ "
- trigger: "\\supset "
replace: "⊇ "
- trigger: "\\supseteq "
replace: "⊇ "
- trigger: "\\supseteqq "
replace: "⊇ "
- trigger: "\\supsetneq "
replace: "⊋ "
- trigger: "\\supsetneqq "
replace: "⊋ "
- trigger: "\\surd "
replace: "√ "
- trigger: "\\surd3 "
replace: "∛ "
- trigger: "\\surd4 "
replace: "∜ "
- trigger: "\\swarrow "
replace: "↙ "
- trigger: "\\sy "
replace: "⁻¹ "
- trigger: "\\symmdiff "
replace: "∆ "
- trigger: "\\t "
replace: "▸ "
- trigger: "\\t= "
replace: "≜ "
- trigger: "\\ta "
replace: "τ "
- trigger: "\\tau "
replace: "τ "
- trigger: "\\tb "
replace: "◂ "
- trigger: "\\telephone "
replace: "℡ "
- trigger: "\\tenge "
replace: "₸ "
- trigger: "\\tensorpower "
replace: "⨂ "
- trigger: "\\tensorproduct "
replace: "⊗ "
- trigger: "\\textbaht "
replace: "฿ "
- trigger: "\\textcircledP "
replace: "℗ "
- trigger: "\\textcolonmonetary "
replace: "₡ "
- trigger: "\\textdied "
replace: "✝ "
- trigger: "\\textdiscount "
replace: "⁒ "
- trigger: "\\textestimated "
replace: "℮ "
- trigger: "\\textfractionsolidus "
replace: "⁄ "
- trigger: "\\textinterrobang "
replace: "‽ "
- trigger: "\\textlira "
replace: "₤ "
- trigger: "\\textlquill "
replace: "⁅ "
- trigger: "\\textmu "
replace: "µ "
- trigger: "\\textmusicalnote "
replace: "♪ "
- trigger: "\\textnaira "
replace: "₦ "
- trigger: "\\textnumero "
replace: "№ "
- trigger: "\\textopenbullet "
replace: "◦ "
- trigger: "\\textpertenthousand "
replace: "‱ "
- trigger: "\\textpeso "
replace: "₱ "
- trigger: "\\textrecipe "
replace: "℞ "
- trigger: "\\textreferencemark "
replace: "※ "
- trigger: "\\textrquill "
replace: "⁆ "
- trigger: "\\textwon "
replace: "₩ "
- trigger: "\\th "
replace: "θ "
- trigger: "\\therefore "
replace: "∴ "
- trigger: "\\theta "
replace: "θ "
- trigger: "\\thickapprox "
replace: "≈ "
- trigger: "\\thicksim "
replace: "∼ "
- trigger: "\\tie "
replace: "⁀ "
- trigger: "\\times "
replace: "× "
- trigger: "\\tint "
replace: "∯ "
- trigger: "\\tiny "
replace: "⧾ "
- trigger: "\\to "
replace: "→ "
- trigger: "\\to0 "
replace: "→₀ "
- trigger: "\\to1 "
replace: "→₁ "
- trigger: "\\to1s "
replace: "→₁ₛ "
- trigger: "\\to^b "
replace: "→ᵇ "
- trigger: "\\to_0 "
replace: "→₀ "
- trigger: "\\to_1 "
replace: "→₁ "
- trigger: "\\to_1s "
replace: "→₁ₛ "
- trigger: "\\to_a "
replace: "→ₐ "
- trigger: "\\to_l "
replace: "→ₗ "
- trigger: "\\to_m "
replace: "→ₘ "
- trigger: "\\to_p "
replace: "→ₚ "
- trigger: "\\to_s "
replace: "→ₛ "
- trigger: "\\to_sl "
replace: "→ₛₗ "
- trigger: "\\toa "
replace: "→ₐ "
- trigger: "\\tob "
replace: "→ᵇ "
- trigger: "\\tol "
replace: "→ₗ "
- trigger: "\\tom "
replace: "→ₘ "
- trigger: "\\top "
replace: "⊤ "
- trigger: "\\tos "
replace: "→ₛ "
- trigger: "\\tosl "
replace: "→ₛₗ "
- trigger: "\\tr "
replace: "⬝ "
- trigger: "\\trans "
replace: "▹ "
- trigger: "\\transport "
replace: "▹ "
- trigger: "\\triangle "
replace: "▵ "
- trigger: "\\triangledown "
replace: "▿ "
- trigger: "\\triangleleft "
replace: "◃ "
- trigger: "\\trianglelefteq "
replace: "⊴ "
- trigger: "\\triangleq "
replace: "≜ "
- trigger: "\\triangleright "
replace: "▹ "
- trigger: "\\trianglerighteq "
replace: "⊵ "
- trigger: "\\tugrik "
replace: "₮ "
- trigger: "\\tw "
replace: "◃ "
- trigger: "\\twoheadleftarrow "
replace: "↞ "
- trigger: "\\twoheadrightarrow "
replace: "↠ "
- trigger: "\\u "
replace: "↑ "
- trigger: "\\u+ "
replace: "⊎ "
- trigger: "\\u- "
replace: "↑ "
- trigger: "\\u-2 "
replace: "⇈ "
- trigger: "\\u-d- "
replace: "⇅ "
- trigger: "\\u-| "
replace: "↥ "
- trigger: "\\u. "
replace: "⊍ "
- trigger: "\\u= "
replace: "⇑ "
- trigger: "\\u== "
replace: "⟰ "
- trigger: "\\ud "
replace: "↕ "
- trigger: "\\ud- "
replace: "↕ "
- trigger: "\\ud-| "
replace: "↨ "
- trigger: "\\ud= "
replace: "⇕ "
- trigger: "\\ul "
replace: "↖ "
- trigger: "\\ul- "
replace: "↖ "
- trigger: "\\ul= "
replace: "⇖ "
- trigger: "\\ulcorner "
replace: "⌜ "
- trigger: "\\un "
replace: "∪ "
- trigger: "\\uncertainty "
replace: "⯑ "
- trigger: "\\undertie "
replace: "‿ "
- trigger: "\\union "
replace: "∪ "
- trigger: "\\uparrow "
replace: "↑ "
- trigger: "\\updownarrow "
replace: "↕ "
- trigger: "\\upleftharpoon "
replace: "↿ "
- trigger: "\\uplus "
replace: "⊎ "
- trigger: "\\uprightharpoon "
replace: "↾ "
- trigger: "\\upsilon "
replace: "υ "
- trigger: "\\upuparrows "
replace: "⇈ "
- trigger: "\\ur "
replace: "↗ "
- trigger: "\\ur- "
replace: "↗ "
- trigger: "\\ur= "
replace: "⇗ "
- trigger: "\\urcorner "
replace: "⌝ "
- trigger: "\\uu- "
replace: "↟ "
- trigger: "\\v "
replace: "∨ "
- trigger: "\\vC "
replace: "Č "
- trigger: "\\vD "
replace: "Ď "
- trigger: "\\vDash "
replace: "⊨ "
- trigger: "\\vE "
replace: "Ě "
- trigger: "\\varbeta "
replace: "ϐ "
- trigger: "\\varkai "
replace: "ϗ "
- trigger: "\\varkappa "
replace: "ϰ "
- trigger: "\\varnothing "
replace: "∅ "
- trigger: "\\varphi "
replace: "ϕ "
- trigger: "\\varpi "
replace: "ϖ "
- trigger: "\\varprime "
replace: "′ "
- trigger: "\\varpropto "
replace: "∝ "
- trigger: "\\varrho "
replace: "ϱ "
- trigger: "\\varsigma "
replace: "ς "
- trigger: "\\vartheta "
replace: "ϑ "
- trigger: "\\vartriangleleft "
replace: "⊲ "
- trigger: "\\vartriangleright "
replace: "⊳ "
- trigger: "\\vc "
replace: "č "
- trigger: "\\vd "
replace: "ď "
- trigger: "\\vdash "
replace: "⊢ "
- trigger: "\\vdots "
replace: "⋮ "
- trigger: "\\ve "
replace: "ě "
- trigger: "\\vectorproduct "
replace: "⨯ "
- trigger: "\\vee "
replace: "∨ "
- trigger: "\\veebar "
replace: "⊻ "
- trigger: "\\vsi "
replace: "ς "
- trigger: "\\warning "
replace: "⚠ "
- trigger: "\\wcovby "
replace: "⩿ "
- trigger: "\\wcovers "
replace: "⩿ "
- trigger: "\\wedge "
replace: "∧ "
- trigger: "\\won "
replace: "₩ "
- trigger: "\\wp "
replace: "℘ "
- trigger: "\\wr "
replace: "≀ "
- trigger: "\\x "
replace: "× "
- trigger: "\\xf "
replace: "×ᶠ "
- trigger: "\\xi "
replace: "ξ "
- trigger: "\\xs "
replace: "×ˢ "
- trigger: "\\yen "
replace: "¥ "
- trigger: "\\ze "
replace: "ζ "
- trigger: "\\zeta "
replace: "ζ "
- trigger: "\\zsqrtd "
replace: "ℤ√ "
- trigger: "\\{{ "
replace: "⦃ "
- trigger: "\\| "
replace: "∣ "
- trigger: "\\|- "
replace: "⊢ "
- trigger: "\\|-> "
replace: "↦ "
- trigger: "\\|-n "
replace: "⊬ "
- trigger: "\\|= "
replace: "⊨ "
- trigger: "\\|=> "
replace: "⇰ "
- trigger: "\\|=n "
replace: "⊭ "
- trigger: "\\|n "
replace: "∤ "
- trigger: "\\|| "
replace: "‖ "
- trigger: "\\||- "
replace: "⊩ "
- trigger: "\\||-n "
replace: "⊮ "
- trigger: "\\||= "
replace: "⊫ "
- trigger: "\\||=n "
replace: "⊯ "
- trigger: "\\|||- "
replace: "⊪ "
- trigger: "\\}} "
replace: "⦄ "
- trigger: "\\~ "
replace: "∼ "
- trigger: "\\~- "
replace: "≃ "
- trigger: "\\~-n "
replace: "≄ "
- trigger: "\\~= "
replace: "≅ "
- trigger: "\\~=n "
replace: "≇ "
- trigger: "\\~> "
replace: "⤳ "
- trigger: "\\~A "
replace: "Ã "
- trigger: "\\~N "
replace: "Ñ "
- trigger: "\\~O "
replace: "Õ "
- trigger: "\\~a "
replace: "ã "
- trigger: "\\~n "
replace: "≁ "
- trigger: "\\~o "
replace: "õ "
- trigger: "\\~{n} "
replace: "ñ "
- trigger: "\\~~ "
replace: "≈ "
- trigger: "\\~~- "
replace: "≊ "
- trigger: "\\~~n "
replace: "≉ "
- trigger: "\\~~~ "
replace: "≋ "
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment