I remember Philip Wadler mentioning once that math expressions had a lot of context that was implicit and issues with hidden information.
I was reminded of that when I saw this expression
