Is there a comprehensive list on the web where I can find the names of common symbols? Google unfortunately doesn't search on symbols, so it is pretty much useless there. Specifically, what is <code>`</code> called (the symbol to the left of <kbd>1</kbd> on US keyboards)?