TeX source:
D^{\prime}(7,1)