path: root/doc/changelog/05-tactic-language/11981-ltac2-eval-notations.rst

- **Added:**
  Ltac2 notations for reductions in terms: :n:`eval @red_expr in @ltac2_term`
  (`#11981 <https://github.com/coq/coq/pull/11981>`_,
  by Michael Soegtrop).