SynTexForward works much better than LatexBox's version