NEWS

--- a/NEWS	Tue Mar 16 23:30:51 2021 +0100
+++ b/NEWS	Wed Mar 17 22:24:57 2021 +0100
@@ -22,6 +22,10 @@
 INCOMPATIBILITY: HTTP proxy configuration now works via JVM properties
 https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/net/doc-files/net-properties.html
 
+* More symbol definitions for the Z Notation (Isabelle fonts and LaTeX).
+See also the group "Z Notation" in the Symbols dockable of
+Isabelle/jEdit.
+
 
 *** Document preparation ***