Whether you’re a Google Docs newbie or an old pro, you’ll learn something–or several somethings–from this how-to extravaganza. When you’re working in a word processor, every second you save matters.

Google Docs is filled with little features that don’t get enough credit. For instance, you can insert symbols in Docs simply by typing out your best estimation on a generic keyboard. Here’s how to do ...