NEWS;

--- a/NEWS	Mon Feb 10 22:40:00 2020 +0100
+++ b/NEWS	Mon Feb 10 22:47:43 2020 +0100
@@ -112,6 +112,8 @@
 
 *** System ***
 
+* Standard rendering for more Isabelle symbols: \<llangle> \<rrangle> \<bbar> \<sqdot>
+
 * The command-line tool "isabelle scala_project" creates a Gradle
 project configuration for Isabelle/Scala/jEdit, to support Scala IDEs
 such as IntelliJ IDEA.