jonas/typstar
1
0
Fork 0
mirror of https://github.com/Ascyii/typstar.git synced 2026-01-01 05:24:24 -05:00
Code Issues Packages Projects Releases Wiki Activity

feat(snip): sets and implications (#6)

Browse Source 
* feat: `ip` and `ib` for implications

* fix: string escaping

* feat: add curly brackets

* feat: replace st (set) with visual snippet
This commit is contained in:
Linus
2025-01-09 20:55:04 +01:00
committed by GitHub
parent 16673bc8c4
commit 820da200ab
2 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
lua/typstar/snippets/math.lua
View File

@@ -20,6 +20,8 @@ return {
-- boolean logic -- boolean logic
snip('no', 'not ', {}, math), snip('no', 'not ', {}, math),
snip('ip', '==>> ', {}, math),
snip('ib', '<<== ', {}, math),
-- relations -- relations
snip('el', '= ', {}, math), snip('el', '= ', {}, math),
@@ -41,7 +43,8 @@ return {
snip('bxx', 'times.square ', {}, math), snip('bxx', 'times.square ', {}, math),
-- sets -- sets
snip('set', '{<>}', { i(1) }, math), -- 'st' to '{<>} in ./visual.lua
snip('set', '{<>|<>}', { i(1), i(2) }, math),
snip('es', 'emptyset ', {}, math), snip('es', 'emptyset ', {}, math),
snip('ses', '{emptyset} ', {}, math), snip('ses', '{emptyset} ', {}, math),
snip('sp', 'supset ', {}, math), snip('sp', 'supset ', {}, math),

1
lua/typstar/snippets/visual.lua
View File

@@ -15,6 +15,7 @@ local operations = { -- first boolean: existing brack
{ 'vi', '1/', '', true, false }, { 'vi', '1/', '', true, false },
{ 'bb', '(', ')', true, false }, -- add round brackets { 'bb', '(', ')', true, false }, -- add round brackets
{ 'sq', '[', ']', true, false }, -- add square brackets { 'sq', '[', ']', true, false }, -- add square brackets
{ 'st', '{', '}', true, false }, -- add curly brackets
{ 'bB', '(', ')', false, false }, -- replace with round brackets { 'bB', '(', ')', false, false }, -- replace with round brackets
{ 'sQ', '[', ']', false, false }, -- replace with square brackets { 'sQ', '[', ']', false, false }, -- replace with square brackets
{ 'BB', '', '', false, false }, -- remove brackets { 'BB', '', '', false, false }, -- remove brackets