TeX Quellcode:
D\,\left(20 \mid 13 \mid -7\right)