Can we apply the same formula of the "vector triple product" and "vector scalar product" for complex vectors (that is, vectors with complex entries)?
Clearly, I assume we calculate the cross product with the complex vector formula, and that we also calculate the inner product with the complex vector formula (either antilinear to first argument, or antilinear to second argument).