TeX source:
\{0.1 .2\}