title: C++: Rotate vector around normal of plane
body: <p>I'm trying to rotate a point on a plane around the normal of the plane with a certain angle (so it stays on the plane).</p>
  
  <p>For example:</p>
  
  <ul>
  <li>Point = (0,0,1) (on the plane)</li>
  <li>Normal = (0,1,0)</li>
  <li>Angle = 33 degrees</li>
  </ul>
  
  <p>But can't seem to figure out how to do it </p>
  
  <p>EDIT:</p>
  
  <p>The axis of rotation always passes through the origin (0,0,0)</p>