3 ms·
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! (al
by mullr 5y ago
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 5y agoIt always ALWAYS trips me up that TLA+ uses \A and \E while LaTeX uses \forall and \exists