TeX source:

c_{mul} ∈ {4, 5, 6}