Can't find the special character you need? Draw it and Google Docs guesses the rest...

We use Google Docs at our school and the more I use it, the more impressed I get. Someone came to me the other day and asked how to insert special characters into Google Docs.

You go to Insert > Special Characters.

But the one I want isn't listed. I can't find it? Here's where Google Docs really shows off, skip to the 1 minute mark to get to the point, but the whole video is good.

Quickly find and insert special characters into Google Docs, Slides, and Drawings: