and antisymmetry under exchange means that A (x, y) = − A (y, x). This implies that A (x, x) = 0, which is Pauli exclusion. It is true in any basis, since unitary changes of basis keep antisymmetric matrices antisymmetric, although strictly speaking, the quantity A (x, y) is not a matrix but an antisymmetric rank-two tensor.