The course I'm currently taking makes me uses symbols like the biconditional, xor, and quantifiers. Each symbol requires an entire word to type out but I also frequency have to look at a reference sheet to find the command for each symbol. I just use short hands like "-" for not, "and" for $\land$, etc. I'm sure if I used LaTex more often, I would have most of the commands memorized but I use it infrequency so I almost never remember.