TeX source:
23sin80^\circ \approx22.6505