vs代码，崇高或原子中与上下文相关的语法突出显示

Question

我正在开发一种语言来写下数学证明以进行证明检查。 （更准确地说：这是一种用Post canonical systems写下派生词的语言）

是否可以为VS Code，Sublime Text或Atom创建语法高亮显示，它们将执行以下操作：

所以我要要求上下文相关的语法突出显示。仅突出显示“已声明”的变量（直到下一个变量声明为止）。

当然，可以在Pygments中使用自定义词法分析器。但是类似TextMate的语法似乎太有限了。如果是这样：是否有一个代码编辑器可以使用诸如Pygments之类的代码突出显示代码？

备注：

1. 如果一个变量是另一个变量的初始段会发生什么并不重要。
2. 该示例的语义内容当然是胡说八道。