path: root/doc/changelog/03-notations/11172-master+coercion-notation-interleaved-printing.rst

- **Changed:**
  The printing algorithm now interleaves search for notations and removal of coercions
  (`#11172 <https://github.com/coq/coq/pull/11172>`_, by Hugo Herbelin).