mirror of
https://github.com/Ascyii/typstar.git
synced 2026-01-01 05:24:24 -05:00
83 lines
2.9 KiB
Lua
83 lines
2.9 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('an', 'and ', {}, math),
|
|
snip('no', 'not ', {}, 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('(.*)sk', '<>+', { cap(1) }, math),
|
|
snip('(.*)ak', '<>-', { cap(1) }, math),
|
|
snip('oak', 'plus.circle ', {}, math, 1100),
|
|
snip('bak', 'plus.square ', {}, math, 1100),
|
|
snip('mak', 'plus.minus ', {}, math, 1100),
|
|
snip('xx', 'times ', {}, math),
|
|
snip('oxx', 'times.circle ', {}, math),
|
|
snip('bxx', 'times.square ', {}, math),
|
|
|
|
-- sets
|
|
snip('set', '{<>}', { i(1) }, math),
|
|
snip('es', 'emptyset ', {}, math),
|
|
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),
|
|
snip('uu', 'union ', {}, math),
|
|
snip('bnn', 'sect.big ', {}, math, 1100),
|
|
snip('buu', 'untion.big ', {}, math, 1100),
|
|
snip('swo', 'without ', {}, math),
|
|
|
|
-- misc
|
|
snip('to', '->> ', {}, math),
|
|
snip('mt', '|->> ', {}, math),
|
|
snip('Oo', 'compose ', {}, math),
|
|
snip('iso', 'tilde.equiv ', {}, math),
|
|
snip('rrn', 'RR^n ', {}, math),
|
|
snip('cc', 'cases(\n\t<>\n)\\', { i(1, '1') }, math),
|
|
snip('pi', 'pi ', {}, math),
|
|
snip('(.*)iv', '<>^(-1)', { cap(1) }, math),
|
|
snip('(.*)sr', '<>^(2)', { cap(1) }, math),
|
|
snip('(.*)rd', '<>^(<>)', { cap(1), i(1, 'n') }, math),
|
|
|
|
snip('ddx', '(d <>)(d <>)', { i(1, 'f'), i(2, 'x') }, math),
|
|
snip('it', 'integral_(<>)^(<>)', { i(1, 'a'), i(2, 'b') }, math),
|
|
snip('oit', 'integral_(Omega}', {}, math),
|
|
snip('dit', 'integral_{<>}', { i(1, 'Omega') }, math),
|
|
snip('sm', 'sum_(<>)^(<>)', { i(1, 'i=0'), i(2, 'oo') }, math),
|
|
|
|
snip('lm', 'lim <>', { i(1, 'a_n') }, math),
|
|
snip('lim', 'lim_(<> ->> <>) <>', { i(1, 'n'), i(2, 'oo'), i(3, 'a_n') }, math),
|
|
snip('lim sup', 'limsup <>', { i(1, 'a_n') }, math),
|
|
snip('lim(_.*%-.*) sup', 'limsup<> <>', { cap(1), i(1, 'a_n') }, math),
|
|
snip('lim inf', 'liminf <>', { i(1, 'a_n') }, math),
|
|
snip('lim(_.*%-.*) inf', 'liminf<> <>', { cap(1), i(1, 'a_n') }, math),
|
|
}
|