On: An update on the campaign to defend serious math e...

[texaslonghorn5]

I was joking, I meant the QED box.

[snvzz → texaslonghorn5]

I know about QED, but I am not familiar with the concept of "QED box".

A cursory web search yielded nothing.

[ludwigschubert → snvzz]

It’s a symbol that goes by many names: the tombstone, end-of-proof, or Q.E.D.

"∎"

[snvzz → ludwigschubert]

Interesting.

I wasn't familiar with this, despite being a graduate. Its use might depend wildly on where.