Zdroj TeX:

K ∈ DV