[math-fun] Reflecting a spherical triangle