Aug7, 7#5 and maj7#5 confusion

[jazzyjoepass]

Shouldn’t “Aug7” be the same as “7#5” = 1 3 #5 b7 ???

And “maj7#5” = 1 3 #5 7

So either “Aug7” or “7#5” should be reprinted as “Maj7#5”