7(DIŠ~a)
Also:
7(diš@v), imin
x
(7(DIŠ~a)).