Mention that this is the same as rotating the vector by 90 degrees in the appropriate direction?  (Otherwise it's ambiguous whether it's the same length, and which way it points along the perpendicular axis.)