TeX source:
900.0=\frac{1}{1-\frac{v^{2}}{c^{2}}}