TeX source:
d∈Z+