TeX source:
O^{c}=\{t t t t t\}