TeX source:

\mathbb{S}^1=\mathbb{R}/\mathbb{Z}