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.
