[cutemonster]

What about starting with a TL;DR for those who know symbols, then the detailed explanation?

But oh no, I think the edit window has closed for @ARandomerDude

[rhizome]

There's no reason to use symbolic logic on a mixed-audience webboard, it's just a flex.