intellij-arend
intellij-arend copied to clipboard
Incorrect behaviour in latex documentation feature
If one writes latex code that contains "{-" substring, the code analyser thinks that it opens another comment parenthesis. In reality it can be a part of latex code symbolising inverse elements in an algebraic structure.
An example of such behaviour is the line
{- | $ f^{-1}g$ -}
. It is treated as an open (and not closed) comment line. In the meantime {- | $ f^{-1}g $ -}-}
is treated as s closed comment line.
P.S. if one writes {- | $ f^{ -1}g $ -}
then it is correct latex code with the same behaviour as previously and it is being treated normally, as a closed comment line.