mirror of
https://github.com/Ascyii/typstar.git
synced 2026-01-01 05:24:24 -05:00
94 lines
3.3 KiB
Lua
94 lines
3.3 KiB
Lua
local ls = require('luasnip')
|
|
local i = ls.insert_node
|
|
|
|
local helper = require('typstar.autosnippets')
|
|
local snip = helper.snip
|
|
local math = helper.in_math
|
|
local cap = helper.cap
|
|
|
|
return {
|
|
snip('fa', 'forall ', {}, math),
|
|
snip('ex', 'exists ', {}, math),
|
|
snip('ni', 'in.not ', {}, math),
|
|
snip('Sq', 'square', {}, math),
|
|
|
|
-- logical chunks
|
|
snip('fen', 'forall epsilon>>0 ', {}, math),
|
|
snip('fdn', 'forall delta>>0 ', {}, math),
|
|
snip('edn', 'exists delta>>0 ', {}, math),
|
|
snip('een', 'exists epsilon>>0 ', {}, math),
|
|
|
|
-- boolean logic
|
|
snip('no', 'not ', {}, math),
|
|
snip('ip', '==>> ', {}, math),
|
|
snip('ib', '<<== ', {}, math),
|
|
snip('iff', '<<==>> ', {}, math),
|
|
|
|
-- relations
|
|
snip('el', '= ', {}, math),
|
|
snip('df', ':= ', {}, math),
|
|
snip('lt', '<< ', {}, math),
|
|
snip('gt', '>> ', {}, math),
|
|
snip('le', '<<= ', {}, math),
|
|
snip('ne', '!= ', {}, math),
|
|
snip('ge', '>>= ', {}, math),
|
|
|
|
-- operators
|
|
snip('ak([^k ])', '+ <>', { cap(1) }, math, 100, false),
|
|
snip('sk([^k ])', '- <>', { cap(1) }, math, 100, false),
|
|
snip('oak', 'plus.circle ', {}, math),
|
|
snip('bak', 'plus.square ', {}, math),
|
|
snip('mak', 'plus.minus ', {}, math),
|
|
snip('xx', 'times ', {}, math, 900),
|
|
snip('oxx', 'times.circle ', {}, math),
|
|
snip('bxx', 'times.square ', {}, math),
|
|
snip('ff', '(<>) / (<>) <>', { i(1, 'a'), i(2, 'b'), i(3) }, math),
|
|
|
|
-- exponents
|
|
snip('iv', '^(-1) ', {}, math, 500, false),
|
|
snip('sr', '^2 ', {}, math, 500, false),
|
|
snip('cb', '^3 ', {}, math, 500, false),
|
|
snip('jj', '_(<>) ', { i(1, 'n') }, math, 500, false),
|
|
snip('kk', '^(<>) ', { i(1, 'n') }, math, 500, false),
|
|
snip('ep', 'exp(<>) ', { i(1, '1') }, math),
|
|
|
|
-- sets
|
|
-- 'st' to '{<>} in ./visual.lua
|
|
snip('set', '{<> | <>}', { i(1), i(2) }, math),
|
|
snip('es', 'emptyset ', {}, math, 900),
|
|
snip('ses', '{emptyset} ', {}, math),
|
|
snip('sp', 'supset ', {}, math),
|
|
snip('sb', 'subset ', {}, math),
|
|
snip('sep', 'supset.eq ', {}, math),
|
|
snip('seb', 'subset.eq ', {}, math),
|
|
snip('nn', 'sect ', {}, math, 900),
|
|
snip('uu', 'union ', {}, math, 900),
|
|
snip('bnn', 'sect.big ', {}, math),
|
|
snip('buu', 'union.big ', {}, math),
|
|
snip('swo', 'without ', {}, math),
|
|
|
|
-- misc
|
|
snip('to', '->> ', {}, math),
|
|
snip('mt', '|->> ', {}, math),
|
|
snip('Oo', 'compose ', {}, math),
|
|
snip('iso', 'tilde.equiv ', {}, math),
|
|
snip('cc', 'cases(\n\t<>\n)\\', { i(1, '1') }, math),
|
|
snip('(K|M|N|Q|R|S|Z)([\\dn]) ', '<><>^<> ', { cap(1), cap(1), cap(2) }, math),
|
|
|
|
snip('ddx', '(d <>)(d <>) ', { i(1, 'f'), i(2, 'x') }, math),
|
|
snip('it', 'integral ', {}, math, 900),
|
|
snip('int', 'integral_(<>)^(<>) ', { i(1, 'a'), i(2, 'b') }, math),
|
|
snip('oit', 'integral_Omega ', {}, math),
|
|
snip('dit', 'integral_(<>) ', { i(1, 'Omega') }, math),
|
|
|
|
snip('sm', 'sum ', {}, math, 900),
|
|
snip('sum', 'sum_(<>)^(<>) ', { i(1, 'i=0'), i(2, 'oo') }, math),
|
|
snip('osm', 'sum_Omega ', {}, math),
|
|
snip('dsm', 'sum_(<>) ', { i(1, 'I') }, math),
|
|
|
|
snip('lm', 'lim ', {}, math),
|
|
snip('lim', 'lim_(<> ->> <>) ', { i(1, 'n'), i(2, 'oo') }, math),
|
|
snip('lim (sup|inf)', 'lim<> ', { cap(1) }, math),
|
|
snip('lim(_\\(\\s?\\w+\\s?->\\s?\\w+\\s?\\)) (sup|inf)', 'lim<><> ', { cap(2), cap(1) }, math),
|
|
}
|