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