where each A (x, y) is a (complex) scalar coefficient. Antisymmetry under exchange means that A (x, y) = − A (y, x). This implies A (x, y) = 0 when x = y, which is Pauli exclusion. It is true in any basis since local changes of basis keep antisymmetric matrices antisymmetric.