Sometimes I feel really dumb

I was reading this MixGen paper, 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.


About Mathias

Software development engineer. Principal developer of DrJava. Recent Ph.D. graduate from the Department of Computer Science at Rice University.
This entry was posted in Ramblings, Uncategorized. Bookmark the permalink.

Leave a Reply