Notation:
-* impedance mismatch in terminology: contraction of G along e vs. contraction of e.
- use \delta(X) notation
- unify use of n(G) vs. n
-* change the notation for contractions -- use double slash instead of the dot?
- introduce \widehat\O early
Typography: