🔧 Added espanso prod alias
This commit is contained in:
parent
50748b6250
commit
958a757641
1 changed files with 3 additions and 0 deletions
|
|
@ -159,6 +159,9 @@ matches:
|
||||||
- trigger: ;sum
|
- trigger: ;sum
|
||||||
force_clipboard: true
|
force_clipboard: true
|
||||||
replace: \sum_{}^{}{}
|
replace: \sum_{}^{}{}
|
||||||
|
- trigger: ;prod
|
||||||
|
force_clipboard: true
|
||||||
|
replace: \prod_{}^{}{}
|
||||||
- trigger: ;lim
|
- trigger: ;lim
|
||||||
force_clipboard: true
|
force_clipboard: true
|
||||||
replace: \lim\limits_{ \to }
|
replace: \lim\limits_{ \to }
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue