Make antisymmetrize() a bit more readable.