The same procedure as cross_product.
cross_product
assert(cross(xyz(0, 0, 1), xyz(1, 0, 0)) == xyz(0, 1, 0));
cross :: (a: Vector3, b: Vector3) -> Vector3
The cross product of a and b, perpendicular to both. Also available as cross.
a
b
cross