Hacker news change the star into italics. The variations are called 'A*' and 'iterative deepening A*' (Need a backslach prior to the star to show it properly)