[BigJeffeRonaldo]

I studied math and computer science at university. My personal experience was that if you wrote a long string with quantifiers in your vector spaces or analysis homework or whatever, the professor would ask you why you were acting like you were still in your 'Intro to Proofs and Logic' course and to please rewrite your homework in English. It was assumed that you could translate between quantifier predicate stuff and English, and that you should just therefore stick to English so your professor can actually read it. The CS faculty members were much more fond of writing stuff out in such formal terms like that (especially in the CS-oriented math classes like a general discrete math course, or an automata course) possibly because they thought the CS kids needed more practice with the notation.

My math profs emphasized juggling multiple layers of logical abstraction and omitting all unneeded explanations, while the CS guys wanted everything in excruciating detail and extremely formal language.