I'm not sure for symbol heavy stuff like theorems in Math, using a computer to input them is an efficient way to do. Here's an add-on that I googled, which seems promising, and yet I'm not convinced that it's faster than writing them down with a normal pen, it seems to present symbols to select from (not very fast imho). Has anyone used some tool that one feels equally good as writing down equations with a pen? Or at this point of time for Math type of stuff, it's really better off using the good old pen and paper? Your thoughts?
Editing for the purpose of the above URL is for it to work with Word or OneNote.