TeX source:
c_{exp} ∈ {4, 5, 6}