You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
\lbrack and \rbrack are rendered to left and right parentheses (), but they should be rendered to left and right square brackets [].
Moreover, the parser parses a left parenthesis ( to a SymbolAtom containing the name lbrack. I guess the error above arises from the confusion about what lbrack and rbrack are.
The text was updated successfully, but these errors were encountered:
Fixed it! I could write a PDR, but I have different VS2017 settings, and its only a few lines in 4 different files, so please have a look at this commit.
\lbrack
and\rbrack
are rendered to left and right parentheses()
, but they should be rendered to left and right square brackets[]
.Moreover, the parser parses a left parenthesis
(
to aSymbolAtom
containing the name lbrack. I guess the error above arises from the confusion about what lbrack and rbrack are.The text was updated successfully, but these errors were encountered: