Источник TeX:

O_1 \in DA_1C_1