The two vector expressions for the curl (with contravariant and covariant basis vectors, respectively, inserted into the sums) are not equal. Only the second form (with covariant basis vectors and contravariant components) can be derived rigorously from the curl, a vector defined in the...