Source TeX:

y=\arccos\left(-\frac{1}{2}\right)\Leftrightarrow-\frac{1}{2}=\cos(y)