I'm in my first semester of college going for a math major and it's pretty great. I'm doing well, however, there seems to be huge gap between how difficult /complex an idea is and how convoluted it is presented.
Let me make an example: In Analysis we discussed the Bolzano Weierstrass theorem and one of the lemmas showed that every sequence in $\mathbb{R}$ has a monotone subsequence. The idea behind the proof with the maximum spots ( speaking colloquially here ) is super simple and pretty elegant if you asked me, but I spent a significant amount of time trying to understand the notation of the professor until I went to this site to read a "proper explanation" of the proof, which had much simpler notation in it.
Extracting the idea of the proof took me lots of time because of the strange notation, but once you understand what is going on, it is really easy. Most of the time spent studying lectures is about digging through the formalities.
Do I just have to spend more time really going through all the formal details of a proof to become accustomed to that formality? Or do more advanced mathematicians also struggle to extract the ideas from the notation?
I'd assume there will come a point, where the idea itself is the most complex part, so I do not want to get stuck at the notation, when that happens.
( Proof Verification - Every sequence in $\Bbb R$ contains a monotone sub-sequence if you are interested )