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

示例#1

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

示例#2

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

示例#3

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

示例#4

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