Ugh I'm tired, I keep typing -> instead of \to.