Comment by bvrmn

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