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

Exemple #1

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

Exemple #2

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

Exemple #3

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

Exemple #4

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