C# (CSharp) Microsoft.Research.Vcc.VSPackage VSIntegration.InsertIntoCurrentDocument Examples

Example #1

 private void InsertUnion(object sender, EventArgs e)
 {
     VSIntegration.InsertIntoCurrentDocument("∪");
 }

Example #2

 private void InsertExists(object sender, EventArgs e)
 {
     VSIntegration.InsertIntoCurrentDocument("∃");
 }

Example #3

 private void InsertLambda(object sender, EventArgs e)
 {
     VSIntegration.InsertIntoCurrentDocument("λ");
 }

Example #4

 private void InsertForall(object sender, EventArgs e)
 {
     VSIntegration.InsertIntoCurrentDocument("∀");
 }