$\det(A) = \det(A^T)$

$\det(A) \geq 0$

$\det(A)$ is the square of a polynomial in the entries of $A$ (the Pfaffian squared)

$\det(A)$ must be $0$ for all skew-symmetric matrices