TeX source:
pres:D \rightarrow P