[tex4ht-commits] [SCM] tex4ht updated: r1631 - trunk/lit

[Michal Hoftich]

Author: michal_h21
Date: 2025-01-21 14:29:06 +0000 (Tue, 21 Jan 2025)
New Revision: 1631

Modified:
   trunk/lit/ChangeLog
   trunk/lit/tex4ht-fonts-kpfonts.tex
   trunk/lit/tex4ht-fonts-modern.tex
   trunk/lit/tex4ht-fonts-noncjk.tex
Log:
more font changes

Modified: trunk/lit/ChangeLog
===================================================================
--- trunk/lit/ChangeLog	2025-01-20 15:22:00 UTC (rev 1630)
+++ trunk/lit/ChangeLog	2025-01-21 14:29:06 UTC (rev 1631)
@@ -1,3 +1,11 @@
+2025-01-21  Michal Hoftich  <michal.h21 at gmail.com>
+
+	* tex4ht-fonts-modern.tex
+	* tex4ht-fonts-noncjk.tex,
+	* tex4ht-fonts-kpfonts.tex: changed more Unicode characters, for
+	\leadstoext and arrow heads.
+	Thanks to Arkady Benediktov.
+
 2025-01-20  Michal Hoftich  <michal.h21 at gmail.com>
 
 	* tex4ht-fonts-modern.tex

Modified: trunk/lit/tex4ht-fonts-kpfonts.tex
===================================================================
--- trunk/lit/tex4ht-fonts-kpfonts.tex	2025-01-20 15:22:00 UTC (rev 1630)
+++ trunk/lit/tex4ht-fonts-kpfonts.tex	2025-01-21 14:29:06 UTC (rev 1631)
@@ -13919,7 +13919,7 @@
 '&#x21D9;' '' Arrowsouthwest 119
 '&#x2AEA;' '' Latticetop 120
 '&#x2AEB;' '' Perpendicular 121
-'&#x223C;' '' leadstoext 122 -- used to be 219D, but that is completely different glyph. should be long tilde
+'&#x223F;' '' leadstoext 122 -- used to be 219D, but that is completely different glyph. should be long tilde
 '&#x2933;' '' leadsto 123 -- used to be 301C, but that is completely different glyph. should be wawy rigth arrow
 '&#x228E;&#xFE01;' '' squareunionmulti 124
 '&#x2A4E;&#xFE01;' '' squareintersectmulti 125

Modified: trunk/lit/tex4ht-fonts-modern.tex
===================================================================
--- trunk/lit/tex4ht-fonts-modern.tex	2025-01-20 15:22:00 UTC (rev 1630)
+++ trunk/lit/tex4ht-fonts-modern.tex	2025-01-21 14:29:06 UTC (rev 1631)
@@ -22127,7 +22127,7 @@
 '&#x11D9;' '' `%Arrowsouthwest`% 119
 '?' '' `%Latticetop`% 120
 '?' '' `%Perpendicular`% 121
-'&#x223C;' '' `%leadstoext`% 122
+'&#x223F;' '' `%leadstoext`% 122 
 '&#x2933;' '' `%leadsto`% 123 - \leadsto is usually 21DD, but the glyph used in the font is more similar to this one
 '?' '' `%squareunionmulti`% 124
 '?' '' `%squareintersectmulti`% 125
@@ -23046,8 +23046,8 @@
 '&#x11D9;' '' `%Arrowsouthwest`% 119
 '?' '' `%Latticetop`% 120
 '?' '' `%Perpendicular`% 121
-'&#x223C;' '' `%leadstoext`% 122
-'&#x219D;' '' `%leadsto`% 123
+'&#x223F;' '' `%leadstoext`% 122
+'&#x2933;' '' `%leadsto`% 123 used to be 219D, but that is wrong
 '?' '' `%squareunionmulti`% 124
 '?' '' `%squareintersectmulti`% 125
 '&#x27E6;' '' `%dblbracketleft`% 126

Modified: trunk/lit/tex4ht-fonts-noncjk.tex
===================================================================
--- trunk/lit/tex4ht-fonts-noncjk.tex	2025-01-20 15:22:00 UTC (rev 1630)
+++ trunk/lit/tex4ht-fonts-noncjk.tex	2025-01-21 14:29:06 UTC (rev 1631)
@@ -12497,7 +12497,7 @@
 ''         ''              55
 ''         ''              56
 ''         ''              57
-'&#x223C;' ''              58 % This is an extension of the \leadsto (is end-to-end inside its glyph box; see lasy.mf), but there is no special Unicode point for this
+'&#x223F;' ''              58 % This is an extension of the \leadsto (is end-to-end inside its glyph box; see lasy.mf), but there is no special Unicode point for this
 '&#x21DD;' '' leadsto      59 % Used to be 219C, but that is completely different glyph.
 '&#x228F;' ''              60
 '&#x2290;' ''              61
@@ -50947,10 +50947,10 @@
 '&#x263d;' ''  37
 '&#x2641;' ''  38
 '&#x263f;' ''  39
-'&#x29fc;' ''  40
-'&#x29fd;' ''  41
-'&#x22cf;' ''  42
-'&#x22ce;' ''  43
+'&#x02C2;' ''  40
+'&#x02C3;' ''  41
+'&#x02C4;' ''  42
+'&#x02C5;' ''  43
 '&#x263a;' ''  44
 '&#x263b;' ''  45
 '&#x263c;' ''  46