path: root/doc/changelog/03-notations/12099-master+constraining-terms-occurring-also-as-pattern-in-notations.rst

- **Changed:**
  Improved support for notations/abbreviations with mixed terms and patterns (such as the forcing modality)
  (`#12099 <https://github.com/coq/coq/pull/12099>`_,
  by Hugo Herbelin).