Ask HN: Why not have a lecture note taking app that knows what you will write?

In particular, the app could get the lecture notes in advance and then use them to autocorrect and autocomplete the student's notes during the lecture as they make them in real-time. The student could even take rough notes with a pen and have the app automatically convert them into LaTeX in a way that preserves some of the student's formatting and is 100% accurate with respect to the professor's lecture notes.