Linguistic conventions of mathematical proof writing across pedagogical contexts · Study