User blog comment:PatrickhhMEME/I am here/@comment-35134374-20180409173726/@comment-1605058-20180409180130

This is how Rayo has originally defined. The advantage is that you don't have to deal with ambiguities - When I write ¬a∧b, do I mean (¬a)∧b or ¬(a∧b)? The approach of putting brackets everywhere avoids that at the cost of losing some of the readability.

If you read some detailed, axiomatic treatment of logic, this is done like that too, but in practice we clearly don't want to use this many parentheses, so we omit some of them (by a kind of abuse of notation). But for the purposes of a formal language, we don't care about readability.