I don't think arrows are necessary. In the other diagram of the Sagnac interferometer, I added arrows to distinguish between were there are counterpropagating beams present and where not. But in the case of a ring laser the light is counterpropagating everywhere anyway. Maybe a diagram like this one would be best, because it shows that there is an enclosing tube.  | Talk