For instance, you can insert symbols in Docs simply by typing out your best estimation on a generic keyboard. Here’s how to do that with word substitutions in Google Docs.

To find and replace text in Google Docs on PC or Android phone easily, you can follow the instructions laid down in this tutorial.