chore: New nvim config, not finished

This commit is contained in:
Afonso Franco 2022-10-19 00:47:07 +01:00
parent cd45fa1877
commit 9fd8201444
Signed by: afonso
SSH key fingerprint: SHA256:gkVPzsQQJzqi21ntQBV6pXTx4bYI53rFGI4XtvCpwd4
14 changed files with 194 additions and 49 deletions

View file

@ -0,0 +1,23 @@
{
"Create Split": {
"prefix": ["split"],
"body": [
"\\langle $1 \\rangle$0"
],
"description": "Create a Split"
},
"Use CP Rule": {
"prefix": ["rule"],
"body": [
"\\equiv \\{\\text{Propriedade ${1:Numero_da_propriedade}}\\\\}\\\\\\\\$0"
],
"description": "Create a Split"
},
"Use conditional": {
"prefix": ["cond"],
"body": [
"${1:p} \\implies ${2:f},${3:g}$0"
],
"description": "Create an implication"
}
}