private void InsertUnion(object sender, EventArgs e) { VSIntegration.InsertIntoCurrentDocument("∪"); }
private void InsertExists(object sender, EventArgs e) { VSIntegration.InsertIntoCurrentDocument("∃"); }
private void InsertLambda(object sender, EventArgs e) { VSIntegration.InsertIntoCurrentDocument("λ"); }
private void InsertForall(object sender, EventArgs e) { VSIntegration.InsertIntoCurrentDocument("∀"); }