Every time I read something about type theory I just can't get past the notation. I've taken two classes on it, and somehow it just never stuck. I struggled wit

Every time I read something about type theory I just can't get past the notation. I've taken two classes on it, and somehow it just never stuck. I struggled with it as much in those classes as I do now. Once I parse the statements the ideas always end up coming through as elegant and intuitive, but getting there is a slog. Does anyone else have this problem? Is my brain just broken w.r.t. type theory symbols? Type theorists must use such strange notation to make sure there's never a collision between something in their meta language, and something that someone would actually use in a language. :)