- A Concurrent Affair - https://www.concurrentaffair.org -

Sometimes I feel really dumb

I was reading this MixGen paper [1], and I came across this symbol in the antisymmetry lemma (5.13). It looked kind of like $\not\vdash$ and I thought maybe that was supposed to be the symbol for antisymmetry, but it wasn’t defined anywhere.

After minutes of confusion and scanning through the paper I realized that it was simply a turnstyle $\vdash$ crossed out. Durrh.

[2] [3]Share [4]