我正在使用Lean,这是一种基于VS Code的开源定理证明和编程语言。与LaTeX一样,许多命令都需要'\'
来编写数学符号。
精益VS Code和LaTeX之间的本质区别在于,为了编译数学符号(例如,获得\forall
和数学'forall'
符号之间的区别)是必须出现下划线在\
符号后输入字符时。
我遇到的问题是下划线
1)当我键入\
2)消失得太快了。
我的问题是:这是一个错误,还是有办法更改VS代码中的设置,以便在\
之后始终出现下划线?
任何答案将不胜感激。