When I'm thinking about math, and I need to type the if-and-only-if symbol, but esc-iff-esc doesn't work, and then I search the docs for 15 minutes, then Google, but still can't find the right key-sequence to type (what was I working on before this? can't remember offhand), where exactly in the docs should I be looking for information I need about which keys to press, please?