path: root/doc/changelog/03-notations/12765-master+partial-app-in-recursive-notation.rst

- **Added:**
  Added support for encoding notations of the form :g:`x ⪯ y ⪯ .. ⪯ z ⪯ t`
  (`#12765 <https://github.com/coq/coq/pull/12765>`_,
  by Hugo Herbelin).