Suspecting that
asterism was being used incorrectly, I looked it up:
https://en.wikipedia.org/wiki/Asterism_%28typography%29
The thing we are discussing is actually called a
dinkus. (!)
This word looks somewhat risqué and probably should not be used in polite society.
Learn something new every day...