codepoints.net is another site for finding unicode symbols, with a 20 questions-style tool to find the character you want