- **Added:**
  Adding a test that the notations `{in _, _}` and `{pred _}` from `ssrbool.v` are displayed correctly.
  (`#13473 <https://github.com/coq/coq/pull/13473>`_,
  by Cyril Cohen).