====== Notation ======