leanprover-community/leanprover-community.github.io#276

Stream: PR reviews

[Eric Wieser]

leanprover-community/leanprover-community.github.io#276 extends #naming slightly to include guidance on {x}, {x | p x} and a few other random bits of notation which we already seem to have a de facto convention for. Posting here since that repo doesn't appear in the queue.