3 ms·It always ALWAYS trips me up that TLA+ uses \A and \E while LaTeX uses \forall and \existsby hwayne 5y agoIt always ALWAYS trips me up that TLA+ uses \A and \E while LaTeX uses \forall and \exists