- **Fixed:**
  Issues in the presence of notations recursively referring to another
  applicative notations, such as missing scope propagation, or failure
  to use a notation for printing
  (`#12960 <https://github.com/coq/coq/pull/12960>`_,
  fixes `#9403 <https://github.com/coq/coq/issues/9403>`_
  and `#10803 <https://github.com/coq/coq/issues/10803>`_,
  by Hugo Herbelin).