--- a/NEWS Wed Sep 21 20:33:44 2016 +0200
+++ b/NEWS Wed Sep 21 22:43:06 2016 +0200
@@ -30,6 +30,9 @@
to "(\<open>indent=DIGITS\<close>". The former notation "(00" for unbreakable blocks
is superseded by "(\<open>unbreabable\<close>" --- rare INCOMPATIBILITY.
+* Mixfix annotations support delimiters like \<^control>\<open>cartouche\<close> --
+this allows special forms of document output.
+
* New symbol \<circle>, e.g. for temporal operator.
* Old 'header' command is no longer supported (legacy since