Zdroj TeX:

K∈\vec{EH} ∧ H∈EK, L∈\vec{FB} ∧ B∈FL, M∈ \vec{DC} ∧ C∈DM