Lean input abbreviations
leanBy Gabriel EbnerInput abbreviations for unicode symbols for the Lean theorem prover
latex
Paste this command in a terminal to install the package
espanso install leanSource
package.yml
matches:
- replace: \
trigger: '\\ '
- replace: "\u03B1"
trigger: '\a '
- replace: "\u03B2"
trigger: '\b '
- replace: "\u03C7"
trigger: '\c '
- replace: "\u2193"
trigger: '\d '
- replace: "\u03B5"
trigger: '\e '
- replace: "\u03B3"
trigger: '\g '
- replace: "\u2229"
trigger: '\i '
- replace: "\u03BC"
trigger: '\m '
- replace: "\xAC"
trigger: '\n '
- replace: "\u2218"
trigger: '\o '
- replace: "\u03A0"
trigger: '\p '
- replace: "\u25B8"
trigger: '\t '
- replace: "\u2192"
trigger: '\r '
- replace: "\u2191"
trigger: '\u '
- replace: "\u2228"
trigger: '\v '
- replace: "\xD7"
trigger: '\x '
- replace: "\u207B\xB9"
trigger: '\- '
- replace: "\u223C"
trigger: '\~ '
- replace: "\xB7"
trigger: '\. '
- replace: "\u22C6"
trigger: '\* '
- replace: "\xBF"
trigger: '\? '
- replace: "\u2081"
trigger: '\1 '
- replace: "\u2082"
trigger: '\2 '
- replace: "\u2083"
trigger: '\3 '
- replace: "\u2084"
trigger: '\4 '
- replace: "\u2085"
trigger: '\5 '
- replace: "\u2086"
trigger: '\6 '
- replace: "\u2087"
trigger: '\7 '
- replace: "\u2088"
trigger: '\8 '
- replace: "\u2089"
trigger: '\9 '
- replace: "\u2080"
trigger: '\0 '
- replace: "\u2190"
trigger: '\l '
- replace: "\u27E8"
trigger: '\< '
- replace: "\u27E9"
trigger: '\> '
- replace: "\xD8"
trigger: '\O '
- replace: "\u214B"
trigger: '\& '
- replace: "\U0001D538"
trigger: '\A '
- replace: "\u2102"
trigger: '\C '
- replace: "\u0394"
trigger: '\D '
- replace: "\U0001D53D"
trigger: '\F '
- replace: "\u0393"
trigger: '\G '
- replace: "\u210D"
trigger: '\H '
- replace: "\u22C2"
trigger: '\I '
- replace: "\u22C2\u2080"
trigger: '\I0 '
- replace: "\U0001D542"
trigger: '\K '
- replace: "\u039B"
trigger: '\L '
- replace: "\u2115"
trigger: '\N '
- replace: "\u03A0"
trigger: '\P '
- replace: "\u211A"Show more