TeX source:

k ∈ Z