TeX source:
\,\,\,\,\,5.2\times~3.7\,\,\,\,\,