These are great. I wonder why he didn't just handwrite the notes. These are much better, but they seem like they would take a long time unless you can type latex quickly.
This is fantastic. Writing notes has always been a bugbear of mine, because 1) my handwriting is terrible and 2) writing notes takes me out of the lecture.
It seems like this is more than fast enough to keep up with the lecture and have something to review properly after the lecture is over.