Matched dollar signs not always recognised correctly #134
Description
Summary
The text coloring between matched $ signs is occasionally incorrect
Expected behavior
text between $ signs is colored red
Actual behavior
text from some point onwards is colored red
Code example
Thus given a well-formed formula $\alpha$ and a truth assignment $v$, we can decide whether $\bar v(\alpha)$ is equal to $T$ or $F$. This is the semantic meaning of a well-formed formula $\alpha$: if we know the truth values of the propositional symbols then we can derive the truth value of $\alpha$ itself. Typically, different truth assignments will give rise to different truth values for $\alpha$.Result
Removing the closing bracket at the cursor changes the coloring back to what is expected.