ocaml + some tex updates
This commit is contained in:
parent
d0776cde02
commit
adedd29830
|
@ -71,6 +71,8 @@ local lsp_confs = {
|
|||
},
|
||||
},
|
||||
},
|
||||
ocamllsp = {},
|
||||
racket_langserver = {},
|
||||
rust_analyzer = {
|
||||
cmd_env = {
|
||||
CARGO_TARGET_DIR = "/tmp/rust-analyzer"
|
||||
|
|
|
@ -130,6 +130,11 @@ snippet ali "Align" bA
|
|||
\end{align*} $0
|
||||
endsnippet
|
||||
|
||||
context "math()"
|
||||
snippet \\\ "Backslash" Ai
|
||||
\backslash
|
||||
endsnippet
|
||||
|
||||
context "math()"
|
||||
snippet => "Implies" Ai
|
||||
\implies
|
||||
|
@ -270,12 +275,12 @@ endsnippet
|
|||
|
||||
context "math()"
|
||||
snippet uuu "Big cup" iA
|
||||
\bigcup{${1:i \in ${2: I}}} $0
|
||||
\bigcup_{${1:i \in ${2: I}}} $0
|
||||
endsnippet
|
||||
|
||||
context "math()"
|
||||
snippet nnn "Big cap" iA
|
||||
\bigcap{${1:i \in ${2: I}}} $0
|
||||
\bigcap_{${1:i \in ${2: I}}} $0
|
||||
endsnippet
|
||||
|
||||
context "math()"
|
||||
|
@ -401,6 +406,11 @@ snippet '(?<!\\)(alpha|beta|gamma|Delta|delta|epsilon|zeta|eta|Theta|theta|iota|
|
|||
\\`!p snip.rv = match.group(1)`
|
||||
endsnippet
|
||||
|
||||
context "math()"
|
||||
snippet 'emptyset' "Emptyset" rwA
|
||||
\varnothing
|
||||
endsnippet
|
||||
|
||||
context "math()"
|
||||
snippet '(?<!\\)xxi' "Xi" rwA
|
||||
\xi
|
||||
|
|
|
@ -37,6 +37,15 @@
|
|||
\RequirePackage{tikz}
|
||||
\RequirePackage{tikz-cd}
|
||||
\RequirePackage{pgfplots}
|
||||
\RequirePackage{hyperref}
|
||||
|
||||
\hypersetup{
|
||||
colorlinks=true,
|
||||
linkcolor=blue,
|
||||
filecolor=blue,
|
||||
urlcolor=blue,
|
||||
}
|
||||
|
||||
|
||||
\pgfplotsset{
|
||||
compat=newest,
|
||||
|
@ -93,6 +102,7 @@
|
|||
\declaretheorem[style=thmproof, name=Proof]{thmproof}
|
||||
\renewenvironment{proof}[1][\proofname]{\begin{thmproof}}{\end{thmproof}}
|
||||
\declaretheorem[style=thmline, numbered=no, name=Proof]{expl}
|
||||
\declaretheorem[style=thmline, numbered=no, name=Solution]{answ}
|
||||
|
||||
\declaretheorem[style=thmsimple, numbered=no, name=Remark]{remark}
|
||||
\declaretheorem[style=thmsimple, numbered=no, name=Note]{note}
|
||||
|
@ -224,6 +234,8 @@
|
|||
\renewenvironment{proof}[1][\proofname]{\begin{thmproof}}{\end{thmproof}}
|
||||
\declaretheorem[style=thmexpl, numbered=no, name=Proof]{thmexpl}
|
||||
\newenvironment{expl}[1][]{\vspace{-12pt}\begin{thmexpl}}{\end{thmexpl}}
|
||||
\declaretheorem[style=thmexpl, numbered=no, name=Solution]{thmansw}
|
||||
\newenvironment{answ}[1][]{\vspace{-12pt}\begin{thmansw}}{\end{thmansw}}
|
||||
|
||||
|
||||
\declaretheorem[style=thmremark, numbered=no, name=Remark]{remark}
|
||||
|
|
|
@ -36,6 +36,14 @@
|
|||
\RequirePackage{tikz}
|
||||
\RequirePackage{tikz-cd}
|
||||
\RequirePackage{pgfplots}
|
||||
\RequirePackage{hyperref}
|
||||
|
||||
\hypersetup{
|
||||
colorlinks=true,
|
||||
linkcolor=blue,
|
||||
filecolor=blue,
|
||||
urlcolor=blue,
|
||||
}
|
||||
|
||||
\pgfplotsset{
|
||||
compat=newest,
|
||||
|
@ -93,6 +101,7 @@
|
|||
\declaretheorem[style=thmproof, name=Proof]{thmproof}
|
||||
\renewenvironment{proof}[1][\proofname]{\begin{thmproof}}{\end{thmproof}}
|
||||
\declaretheorem[style=thmline, numbered=no, name=Proof]{expl}
|
||||
\declaretheorem[style=thmline, numbered=no, name=Solution]{answ}
|
||||
|
||||
\declaretheorem[style=thmsimple, numbered=no, name=Remark]{remark}
|
||||
\declaretheorem[style=thmsimple, numbered=no, name=Note]{note}
|
||||
|
@ -224,6 +233,8 @@
|
|||
\renewenvironment{proof}[1][\proofname]{\begin{thmproof}}{\end{thmproof}}
|
||||
\declaretheorem[style=thmexpl, numbered=no, name=Proof]{thmexpl}
|
||||
\newenvironment{expl}[1][]{\vspace{-12pt}\begin{thmexpl}}{\end{thmexpl}}
|
||||
\declaretheorem[style=thmexpl, numbered=no, name=Solution]{thmansw}
|
||||
\newenvironment{answ}[1][]{\vspace{-12pt}\begin{thmansw}}{\end{thmansw}}
|
||||
|
||||
|
||||
\declaretheorem[style=thmremark, numbered=no, name=Remark]{remark}
|
||||
|
|
1
zshenv
1
zshenv
|
@ -26,6 +26,7 @@ export GOPATH="$XDG_DATA_HOME"/go
|
|||
export LESSKEY="$XDG_DATA_HOME"/less/keys
|
||||
export RANDFILE="$XDG_DATA_HOME"/rnd
|
||||
export PYTHONSTARTUP="$XDG_CONFIG_HOME"/python/pythonrc
|
||||
export OPAMROOT="$XDG_DATA_HOME"/opam
|
||||
|
||||
export TEXMFHOME="$XDG_CONFIG_HOME"/texmf
|
||||
export TEXMFVAR="$XDG_CACHE_HOME"/texmf-var
|
||||
|
|
Loading…
Reference in New Issue
Block a user