VS代码`\`下划线时间不足

时间:2018-07-11 11:25:01

标签: visual-studio-code theorem-proving lean

我正在使用Lean,这是一种基于VS Code的开源定理证明和编程语言。与LaTeX一样,许多命令都需要'\'来编写数学符号。

精益VS Code和LaTeX之间的本质区别在于,为了编译数学符号(例如,获得\forall和数学'forall'符号之间的区别)是必须出现下划线在\符号后输入字符时。

我遇到的问题是下划线

1)当我键入\

时,并不总是出现

2)消失得太快了。

我的问题是:这是一个错误,还是有办法更改VS代码中的设置,以便在\之后始终出现下划线?

任何答案将不胜感激。

0 个答案:

没有答案