[mullr]

And to really rub salt on it, they have a syntax that looks very much like stock latex for math symbols, and SOME of them are the same, but not all of them! (all / forall is the one that comes to mind, it's been a little while)

[hwayne]

It always ALWAYS trips me up that TLA+ uses \A and \E while LaTeX uses \forall and \exists