| changeset 74677 | 0d30ea76756c |
| parent 74656 | 0659536b150b |
| child 74732 | 015282fb3e31 |
--- a/NEWS Wed Nov 03 20:53:52 2021 +0100 +++ b/NEWS Wed Nov 03 21:06:04 2021 +0100 @@ -75,6 +75,8 @@ *** Document preparation *** +* HTML presentation now includes links to formal entities. + * 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>.