Hacker News new | ask | show | jobs
by hwayne 1613 days ago
It always ALWAYS trips me up that TLA+ uses \A and \E while LaTeX uses \forall and \exists