Matched dollar signs not always recognised correctly

[scoskey]

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.