Patsocs are anti-antifa.

patsoc = anti(anti(fa))

anti(anti(x)) = x for all x

therefore

patsoc = fa