Special characters in HTML

Here's a tool for finding HTML codes for special characters, and here's a list of some named special characters.