★ — a cool star HTML symbol on OS X; how’s it look on other systems?