TeX source:
\{h h t, h t h, h t t, t h h, t h t, t t h, t t t\}