User blog comment:Googleaarex/More Pound-Star Notation Numbers/@comment-4297047-20141013011942/@comment-4297047-20141013103210

The former. The latter is called Astrangol.