I graduated in 1989 with a math degree. For 24 years I didn't look at mathematical notation. Now in grad school for CS I'm seeing a lot of notation like you wro

I graduated in 1989 with a math degree. For 24 years I didn't look at mathematical notation. Now in grad school for CS I'm seeing a lot of notation like you wrote. Some of it is coming back. But, it has become exceedingly difficult to remember a single Greek letter, embodying a concept, a page or so after it has been defined. The concepts are not especially difficult, but remembering symbols has become frustratingly so. My current course is Programming Language Semantics. It's all relations, functions, states, predicates, induction, etc. Greek letters are used all over the place. The topic is interesting and I love implementing semantics in Prolog, but the mathematical notation is painful.