# HG changeset patch
# User wenzelm
# Date 1623069664 -7200
# Node ID 2a431e8bb9b4302fb856e1f5e2975bcfad13995a
# Parent  aefa7d210725d6719e7cd841e299d8194bcd9402
tuned;

diff -r aefa7d210725 -r 2a431e8bb9b4 NEWS
--- a/NEWS	Mon Jun 07 14:40:22 2021 +0200
+++ b/NEWS	Mon Jun 07 14:41:04 2021 +0200
@@ -34,10 +34,10 @@
 
 *** Document preparation ***
 
-* More predefined symbols: \<interleave> \<sslash> (package "stmaryrd"), \<checkmark> \<crossmark> (package
+* More predefined symbols: \<interleave> \<sslash> (package "stmaryrd"), \<checkmark> \<crossmark> (LaTeX package
 "pifont").
 
-* High-quality blackboard-bold symbols from font "txmia" (package
+* High-quality blackboard-bold symbols from font "txmia" (LaTeX package
 "pxfonts"): \<bbbA>\<bool>\<complex>\<bbbD>\<bbbE>\<bbbF>\<bbbG>\<bbbH>\<bbbI>\<bbbJ>\<bbbK>\<bbbL>\<bbbM>\<nat>\<bbbO>\<bbbP>\<rat>\<real>\<bbbS>\<bbbT>\<bbbU>\<bbbV>\<bbbW>\<bbbX>\<bbbY>\<int>.
 
 * Document antiquotations for ML text have been refined: "def" and "ref"