- **Fixed:**
  Fixing printing of notations in custom entries with 
  variables not mentioning an explicit level
  (`#13026 <https://github.com/coq/coq/pull/13026>`_,
  fixes `#12775 <https://github.com/coq/coq/issues/12775>`_
  and `#13018 <https://github.com/coq/coq/issues/13018>`_,
  by Hugo Herbelin).