\magnification=\magstep2


$$
   n_1 \sin(\theta_1)  =  n_2 \sin(\theta_2)
$$


\bye
