Defined in File geometry.hpp
Takes in a rotation R_foo_plane and returns the corresponding plane normal along the z-axis (in reference frame foo).
R_foo_plane
foo