Should we agree on some standard notations? This should make it much easier to understand new posts once a notation is established.
In particular, I think it would be helpful to agree on symbols for common gates beforehand. This applies to formulas and circuit diagrams.
I suggest we start a list of notation here, then we can refer to this thread to conveniently define the symbols we use and to encourage new users to follow our convention. Use one answer for a single symbol or a group of symbols that logically belong together. Give the symbol and the description in a header, and give context, explanation, references below it.
Different notations for the same entity might be acceptable, and the votes will indicate the most popular variant. We can also discuss it in comments, of course.