A little theory, and a little history:

The nature of a diminished chord is that the series of minor third intervals can continue right up into the next octaves. For example, C, Eb, Gb makes a Cdim chord. Most music outside of the classical world would consider adding the Bbb (enharmonically A) as the seventh. Then the magic of the diminished chord is that you continue up using the same four pitches in the next register. Start again with C etc. so there are really only three diminished chords! They can start on C, C#, or D before the notes repeat.

BIAB used to assume you wanted a Dim7 when you wrote Dim. This is likely owing to its origin for doing jazz fakebook tunes. Some years ago, and I’m going to make a rough guess of about 15, we asked that we be able to distinguish between the two. In other words, if we wrote Dim we did not want to hear the double-flatted seventh.

PG Music granted our wish and gave the options Mario pointed out.

BIAB 2024 Win Audiophile. Software: Studio One 6.5 Pro, Swam horns, Acoustica-7, Notion 6; Win 11 Home. Hardware: Intel i9, 32 Gb; Roland Integra-7, Presonus Studio 192, Presonus Faderport 8, Royer 121, Adam Sub8 & Neumann 120 monitors