path: root/doc/changelog/03-notations/12986-master+ordering-notation-by-precision.rst

- **Changed:**
  Use of notations for printing now gives preference
  to notations which match a larger part of the term to abbreviate
  (`#12986 <https://github.com/coq/coq/pull/12986>`_,
  by Hugo Herbelin).