If you want to insert LaTeX maths into a comment (‘cos the ascii mock-up of some bit of logical notation is just too horrible), then you now can. If ‘$ some-code $’ gives you what you want in standard LaTeX, then ‘$lat*x some-code $’ should work here (when you replace the ‘*’ with ‘e’ of course!).