4 ms·

I agree, latexisms in TLA are on eye brow level of weirdness. Lesser punctuation syntax is always better.

• deleted 1y ago
  [deleted]