# 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 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 crossed out. Durrh.