Zdroj TeX:
\small K ∈ DV