Dear colleagues,
Some colleagues asked me for a proposal for notation and terminology for their planned book. It is here:
https://personal.eur.nl/wakker/pdf/wakker_notation.pdf
Best regards, Peter
P.s.: If browser doesn't take link, can copy-paste.