Adding vim stuff

2023-04-21 07:41:11 +02:00
parent cdbe23d2fd
commit 32b2e68cc7
3 changed files with 25 additions and 7 deletions
--- a/vim/UltiSnips/markdown_tex.snippets
+++ b/vim/UltiSnips/markdown_tex.snippets
@ -43,3 +43,11 @@ endsnippet
 snippet set "prepare for a set in tex {}" i
 \\\\{ ${1:${VISUAL:e}} \\\\} $0
 endsnippet
+
+snippet forall "forall"
+\forall $0
+endsnippet
+
+snippet exists "exists"
+\exists $0
+endsnippet