Skip to content

Instantly share code, notes, and snippets.

@azjezz
Last active May 19, 2026 04:59
Show Gist options
  • Select an option

  • Save azjezz/b9b40c9b01ff0b216df5765d1726f874 to your computer and use it in GitHub Desktop.

Select an option

Save azjezz/b9b40c9b01ff0b216df5765d1726f874 to your computer and use it in GitHub Desktop.
macOS text replacement plist and espanso configuration for math/logic/type-theory symbols, with ;-prefix shortcuts
matches:
- trigger: ";Alpha"
replace: "α"
word: true
- trigger: ";Beta"
replace: "β"
word: true
- trigger: ";Chi"
replace: "χ"
word: true
- trigger: ";Delta"
replace: "Δ"
word: true
- trigger: ";Eta"
replace: "η"
word: true
- trigger: ";Gamma"
replace: "Γ"
word: true
- trigger: ";Iota"
replace: "ι"
word: true
- trigger: ";Kappa"
replace: "κ"
word: true
- trigger: ";Lambda"
replace: "Λ"
word: true
- trigger: ";Omega"
replace: "Ω"
word: true
- trigger: ";Pi"
replace: "Π"
word: true
- trigger: ";Psi"
replace: "Ψ"
word: true
- trigger: ";Sigma"
replace: "Σ"
word: true
- trigger: ";Theta"
replace: "Θ"
word: true
- trigger: ";Turnstile"
replace: ""
word: true
- trigger: ";and"
replace: ""
word: true
- trigger: ";approx"
replace: ""
word: true
- trigger: ";because"
replace: ""
word: true
- trigger: ";bigjoin"
replace: ""
word: true
- trigger: ";bigmeet"
replace: ""
word: true
- trigger: ";bot"
replace: ""
word: true
- trigger: ";cap"
replace: ""
word: true
- trigger: ";cbrt"
replace: ""
word: true
- trigger: ";cdot"
replace: "·"
word: true
- trigger: ";cdots"
replace: ""
word: true
- trigger: ";cplx"
replace: ""
word: true
- trigger: ";cross"
replace: "×"
word: true
- trigger: ";cup"
replace: ""
word: true
- trigger: ";dagger"
replace: ""
word: true
- trigger: ";def"
replace: ""
word: true
- trigger: ";degree"
replace: "°"
word: true
- trigger: ";delta"
replace: "δ"
word: true
- trigger: ";empty"
replace: ""
word: true
- trigger: ";epsilon"
replace: "ε"
word: true
- trigger: ";equiv"
replace: ""
word: true
- trigger: ";exists"
replace: ""
word: true
- trigger: ";forall"
replace: ""
word: true
- trigger: ";gamma"
replace: "γ"
word: true
- trigger: ";geq"
replace: ""
word: true
- trigger: ";gg"
replace: ""
word: true
- trigger: ";iff"
replace: ""
word: true
- trigger: ";implies"
replace: ""
word: true
- trigger: ";in"
replace: ""
word: true
- trigger: ";inf"
replace: ""
word: true
- trigger: ";int"
replace: ""
word: true
- trigger: ";join"
replace: ""
word: true
- trigger: ";lambda"
replace: "λ"
word: true
- trigger: ";langle"
replace: ""
word: true
- trigger: ";lceil"
replace: ""
word: true
- trigger: ";leadsto"
replace: ""
word: true
- trigger: ";leftright"
replace: ""
word: true
- trigger: ";leq"
replace: ""
word: true
- trigger: ";lfloor"
replace: ""
word: true
- trigger: ";ll"
replace: ""
word: true
- trigger: ";mapsto"
replace: ""
word: true
- trigger: ";meet"
replace: ""
word: true
- trigger: ";mu"
replace: "μ"
word: true
- trigger: ";nat"
replace: ""
word: true
- trigger: ";neq"
replace: ""
word: true
- trigger: ";not"
replace: "¬"
word: true
- trigger: ";notin"
replace: ""
word: true
- trigger: ";nu"
replace: "ν"
word: true
- trigger: ";omega"
replace: "ω"
word: true
- trigger: ";or"
replace: ""
word: true
- trigger: ";par"
replace: ""
word: true
- trigger: ";perp"
replace: ""
word: true
- trigger: ";phi"
replace: "φ"
word: true
- trigger: ";pm"
replace: "±"
word: true
- trigger: ";pow"
replace: "𝒫"
word: true
- trigger: ";prime"
replace: ""
word: true
- trigger: ";prod"
replace: ""
word: true
- trigger: ";prop"
replace: ""
word: true
- trigger: ";psi"
replace: "ψ"
word: true
- trigger: ";psub"
replace: ""
word: true
- trigger: ";qed"
replace: ""
word: true
- trigger: ";rangle"
replace: ""
word: true
- trigger: ";rat"
replace: ""
word: true
- trigger: ";rceil"
replace: ""
word: true
- trigger: ";real"
replace: ""
word: true
- trigger: ";rfloor"
replace: ""
word: true
- trigger: ";rho"
replace: "ρ"
word: true
- trigger: ";setminus"
replace: ""
word: true
- trigger: ";sigma"
replace: "σ"
word: true
- trigger: ";sqrt"
replace: ""
word: true
- trigger: ";sqsub"
replace: ""
word: true
- trigger: ";sqsup"
replace: ""
word: true
- trigger: ";star"
replace: ""
word: true
- trigger: ";sub"
replace: ""
word: true
- trigger: ";sum"
replace: ""
word: true
- trigger: ";sup"
replace: ""
word: true
- trigger: ";tau"
replace: "τ"
word: true
- trigger: ";therefore"
replace: ""
word: true
- trigger: ";theta"
replace: "θ"
word: true
- trigger: ";times"
replace: "×"
word: true
- trigger: ";to"
replace: ""
word: true
- trigger: ";top"
replace: ""
word: true
- trigger: ";turnstile"
replace: ""
word: true
- trigger: ";xor"
replace: ""
word: true
- trigger: ";zeta"
replace: "ζ"
word: true
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<array>
<dict>
<key>phrase</key>
<string>α</string>
<key>shortcut</key>
<string>;Alpha</string>
</dict>
<dict>
<key>phrase</key>
<string>β</string>
<key>shortcut</key>
<string>;Beta</string>
</dict>
<dict>
<key>phrase</key>
<string>χ</string>
<key>shortcut</key>
<string>;Chi</string>
</dict>
<dict>
<key>phrase</key>
<string>Δ</string>
<key>shortcut</key>
<string>;Delta</string>
</dict>
<dict>
<key>phrase</key>
<string>η</string>
<key>shortcut</key>
<string>;Eta</string>
</dict>
<dict>
<key>phrase</key>
<string>Γ</string>
<key>shortcut</key>
<string>;Gamma</string>
</dict>
<dict>
<key>phrase</key>
<string>ι</string>
<key>shortcut</key>
<string>;Iota</string>
</dict>
<dict>
<key>phrase</key>
<string>κ</string>
<key>shortcut</key>
<string>;Kappa</string>
</dict>
<dict>
<key>phrase</key>
<string>Λ</string>
<key>shortcut</key>
<string>;Lambda</string>
</dict>
<dict>
<key>phrase</key>
<string>Ω</string>
<key>shortcut</key>
<string>;Omega</string>
</dict>
<dict>
<key>phrase</key>
<string>Π</string>
<key>shortcut</key>
<string>;Pi</string>
</dict>
<dict>
<key>phrase</key>
<string>Ψ</string>
<key>shortcut</key>
<string>;Psi</string>
</dict>
<dict>
<key>phrase</key>
<string>Σ</string>
<key>shortcut</key>
<string>;Sigma</string>
</dict>
<dict>
<key>phrase</key>
<string>Θ</string>
<key>shortcut</key>
<string>;Theta</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;Turnstile</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;and</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;approx</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;because</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;bigjoin</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;bigmeet</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;bot</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;cap</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;cbrt</string>
</dict>
<dict>
<key>phrase</key>
<string>·</string>
<key>shortcut</key>
<string>;cdot</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;cdots</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;cplx</string>
</dict>
<dict>
<key>phrase</key>
<string>×</string>
<key>shortcut</key>
<string>;cross</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;cup</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;dagger</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;def</string>
</dict>
<dict>
<key>phrase</key>
<string>°</string>
<key>shortcut</key>
<string>;degree</string>
</dict>
<dict>
<key>phrase</key>
<string>δ</string>
<key>shortcut</key>
<string>;delta</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;empty</string>
</dict>
<dict>
<key>phrase</key>
<string>ε</string>
<key>shortcut</key>
<string>;epsilon</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;equiv</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;exists</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;forall</string>
</dict>
<dict>
<key>phrase</key>
<string>γ</string>
<key>shortcut</key>
<string>;gamma</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;geq</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;gg</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;iff</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;implies</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;in</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;inf</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;int</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;join</string>
</dict>
<dict>
<key>phrase</key>
<string>λ</string>
<key>shortcut</key>
<string>;lambda</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;langle</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;leadsto</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;lceil</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;leftright</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;leq</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;lfloor</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;ll</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;mapsto</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;meet</string>
</dict>
<dict>
<key>phrase</key>
<string>μ</string>
<key>shortcut</key>
<string>;mu</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;nat</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;neq</string>
</dict>
<dict>
<key>phrase</key>
<string>¬</string>
<key>shortcut</key>
<string>;not</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;notin</string>
</dict>
<dict>
<key>phrase</key>
<string>ν</string>
<key>shortcut</key>
<string>;nu</string>
</dict>
<dict>
<key>phrase</key>
<string>ω</string>
<key>shortcut</key>
<string>;omega</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;or</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;par</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;perp</string>
</dict>
<dict>
<key>phrase</key>
<string>φ</string>
<key>shortcut</key>
<string>;phi</string>
</dict>
<dict>
<key>phrase</key>
<string>±</string>
<key>shortcut</key>
<string>;pm</string>
</dict>
<dict>
<key>phrase</key>
<string>𝒫</string>
<key>shortcut</key>
<string>;pow</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;prime</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;prod</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;prop</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;psub</string>
</dict>
<dict>
<key>phrase</key>
<string>ψ</string>
<key>shortcut</key>
<string>;psi</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;qed</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;rangle</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;rat</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;rceil</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;real</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;rfloor</string>
</dict>
<dict>
<key>phrase</key>
<string>ρ</string>
<key>shortcut</key>
<string>;rho</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;setminus</string>
</dict>
<dict>
<key>phrase</key>
<string>σ</string>
<key>shortcut</key>
<string>;sigma</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;sqrt</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;sqsub</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;sqsup</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;star</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;sub</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;sum</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;sup</string>
</dict>
<dict>
<key>phrase</key>
<string>τ</string>
<key>shortcut</key>
<string>;tau</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;therefore</string>
</dict>
<dict>
<key>phrase</key>
<string>θ</string>
<key>shortcut</key>
<string>;theta</string>
</dict>
<dict>
<key>phrase</key>
<string>×</string>
<key>shortcut</key>
<string>;times</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;to</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;top</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;turnstile</string>
</dict>
<dict>
<key>phrase</key>
<string></string>
<key>shortcut</key>
<string>;xor</string>
</dict>
<dict>
<key>phrase</key>
<string>ζ</string>
<key>shortcut</key>
<string>;zeta</string>
</dict>
</array>
</plist>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment