TeX source:
D>0