TeX source:
 n_i\sin{\theta_i}=n_r\sin{\theta_r}