Hacker News Reader

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

A cursory web search yielded nothing.

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

"∎"

Interesting.

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