I introduced the A* notation with the thought that our algorithm (A*) was better than any other algorithm, better than anyone else's algorithm A, and we're gonna prove it!
Peter Hart, as cited in A* Search: What's in a Name? by James W. Davis, Jeff Hachtel (https://doi.org/10.1145/3326600)