24 lines
545 B
JSON
24 lines
545 B
JSON
{
|
|
"Create Split": {
|
|
"prefix": ["split"],
|
|
"body": [
|
|
"\\langle $1 \\rangle$0"
|
|
],
|
|
"description": "Create a Split"
|
|
},
|
|
|
|
"Use CP Rule": {
|
|
"prefix": ["rule"],
|
|
"body": [
|
|
"\\equiv \\{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"
|
|
}
|
|
}
|