{
	"code": {
		"scope": "latex, tex",
		"prefix": "code",
		"body": [
			"\\code{$0}",
		],
		"description": "whatever",
	},
	"cblock": {
		"scope": "latex, tex",
		"prefix": "cblock, codeblock, block",
		"body": [
			"\\begin{codeblock}",
			"$0",
			"\\end{codeblock}",
		],
		"description": "whatever",
	},
	"align": {
		"scope": "latex, tex",
		"prefix": "align",
		"body": [
			"\\begin{align*}",
			"$0",
			"\\end{align*}",
		],
		"description": "whatever",
	},
	"cfile": {
		"scope": "latex, tex",
		"prefix": "cfile, codefile",
		"body": [
			"\\codefile[linerange=$1-$2]{$3}$0",
		],
		"description": "code file with range",
	},
	"stepsto": {
		"scope": "latex, tex",
		"prefix": "stepsto, step",
		"body": [
			"\\stepsTo",
		],
		"description": "whatever",
	},
	"eeq": {
		"scope": "latex, tex",
		"prefix": "eeq, equivalent, equiv",
		"body": [
			"\\eeq",
		],
		"description": "whatever",
	},
	"LHS": {
		"scope": "latex, tex",
		"prefix": "LHS",
		"body": [
			"\\text{LHS}",
		],
		"description": "whatever",
	},
	"RHS": {
		"scope": "latex, tex",
		"prefix": "RHS",
		"body": [
			"\\text{RHS}",
		],
		"description": "whatever",
	},
	"bold": {
		"scope": "latex, tex",
		"prefix": "bold",
		"body": [
			"\\textbf{$1} $0",
		],
		"description": "whatever",
	},
	"ieeq": {
		"scope": "latex, tex",
		"prefix": "ieeq",
		"body": [
			"$\\eeq$ ",
		],
		"description": "whatever",
	},
	"leeq": {
		"scope": "latex, tex",
		"prefix": "leeq",
		"body": [
			"& \\eeq ",
		],
		"description": "whatever",
	},
	"neeq": {
		"scope": "latex, tex",
		"prefix": "neeq, equivalent, not equiv",
		"body": [
			"\\neeq",
		],
		"description": "whatever",
	},
	"tag": {
		"scope": "latex, tex",
		"prefix": "tag",
		"body": [
			"\\tag{$0}",
		],
		"description": "whatever",
	},
	"BC": {
		"scope": "latex, tex",
		"prefix": "BC",
		"body": [
			"\\textbf{Base Case:} $0",
		],
		"description": "whatever",
	},
	"IC": {
		"scope": "latex, tex",
		"prefix": "IC",
		"body": [
			"\\textbf{Inductive Step:} $0",
		],
		"description": "whatever",
	},
	"IH": {
		"scope": "latex, tex",
		"prefix": "IH",
		"body": [
			"\\textbf{Inductive Hypothesis:} $0",
		],
		"description": "whatever",
	},
	"WTS": {
		"scope": "latex, tex",
		"prefix": "WTS",
		"body": [
			"\\textbf{Want to Show:} $0",
		],
		"description": "whatever",
	},
	"proof": {
		"scope": "latex, tex",
		"prefix": "proof",
		"body": [
			"\\begin{proof}",
			"$0",
			"\\end{proof}",
		],
		"description": "whatever",
	},
	"alignequal": {
		"scope": "latex, tex",
		"prefix": "alignequal",
		"body": [
			"& \\eeq \\ ",
		],
		"description": "whatever",
	},
}