Yep another one in agreement here for slashed circle - much the same as the triangle for maj7

The use of the shorthand symbols goes back quite a way and is in no way a "recent" convention afaik

Although either form is fine for me

Dennis