Diminished Chord symbol

Once upon a time I learned that

Ab° is two stacked minor thirds and Ab°7 is three.
And in the screenshot above you can see that it’s possible to distinguish between the two.
Just type Abdim and Abdim7 into the popover…

Benji