76 lines
1.5 KiB
Plaintext
76 lines
1.5 KiB
Plaintext
block auto start
|
|
for thmenv <- @⟨lemma,theorem,corollary,definition⟩
|
|
string @thmenv
|
|
snip
|
|
#@thmenv$|1⟨(name: "$1"),$1⟩[
|
|
$0
|
|
]
|
|
|
|
for proofenv <- @⟨proof,solution⟩
|
|
string @proofenv
|
|
snip
|
|
#@proofenv$|1⟨$1,(name: "$1")⟩[
|
|
$0
|
|
]
|
|
|
|
string dm
|
|
name display math
|
|
snip
|
|
$
|
|
$0
|
|
$
|
|
|
|
block auto
|
|
string ccf
|
|
name continuously differentiable function
|
|
snip $C^1$
|
|
|
|
string ftdef
|
|
name function type definition
|
|
snip $$1 : $2 → $3$ $0
|
|
|
|
block auto
|
|
string tdif
|
|
name total derivative
|
|
snip (dif $1) / (dif $2) $0
|
|
|
|
string pdif
|
|
name partial derivative
|
|
snip (diff $1) / (diff $2) $0
|
|
|
|
string dint
|
|
name definite integral
|
|
snip ∫_$|1⟨$1,(-∞$1)⟩^$|2⟨$2,∞$2⟩ $3 dif $0
|
|
|
|
block !word
|
|
abbr .inv ^(-1)
|
|
abbr .neg _-
|
|
abbr .pos _+
|
|
|
|
for limtarget <- @⟨anything,zero,infinity,negative infinity⟩
|
|
for prefix <- @⟨@limtarget:,z,i,n⟩
|
|
for limtargetsymbol <- @⟨@limtarget:$2,0,∞,-∞⟩
|
|
string @prefix⋄lim
|
|
name limit to @limtarget
|
|
snip lim_($1 → @limtargetsymbol) $0
|
|
|
|
for operator <- @⟨eq,neq,defas,leq,geq,lt,gt,iip,iib,iff⟩
|
|
for symbol <- @⟨@operator:=,≠,≔,≤,≥,<,>,⟹,⟸,⟺⟩
|
|
|
|
abbr @operator @symbol
|
|
|
|
string a@operator
|
|
name align at @operator
|
|
snip &@symbol $0
|
|
|
|
block start
|
|
string al@operator
|
|
name aligned @operator
|
|
snip
|
|
\ $1 &@symbol $2
|
|
$0
|
|
|
|
string cr@operator
|
|
name start with @operator
|
|
snip \ &@symbol $0
|