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

[Michal Hoftich]

Author: michal_h21
Date: 2025-01-20 15:22:00 +0000 (Mon, 20 Jan 2025)
New Revision: 1630

Modified:
   trunk/lit/ChangeLog
   trunk/lit/tex4ht-fonts-kpfonts.tex
   trunk/lit/tex4ht-fonts-modern.tex
   trunk/lit/tex4ht-fonts-noncjk.tex
Log:
changed glyphs for \leadsto

Modified: trunk/lit/ChangeLog
===================================================================
--- trunk/lit/ChangeLog	2025-01-20 12:45:51 UTC (rev 1629)
+++ trunk/lit/ChangeLog	2025-01-20 15:22:00 UTC (rev 1630)
@@ -1,5 +1,11 @@
 2025-01-20  Michal Hoftich  <michal.h21 at gmail.com>
 
+	* tex4ht-fonts-modern.tex
+	* tex4ht-fonts-noncjk.tex,
+	* tex4ht-fonts-kpfonts.tex: changed glyphs for \leadsto and long
+	tilde.
+	Thanks to Arkady Benediktov.
+
 	* tex4ht-4ht.tex (standalone.4ht): disable environment patching by
 	the Standalone class.
 	https://github.com/michal-h21/tex4ebook/issues/137

Modified: trunk/lit/tex4ht-fonts-kpfonts.tex
===================================================================
--- trunk/lit/tex4ht-fonts-kpfonts.tex	2025-01-20 12:45:51 UTC (rev 1629)
+++ trunk/lit/tex4ht-fonts-kpfonts.tex	2025-01-20 15:22:00 UTC (rev 1630)
@@ -13919,8 +13919,8 @@
 '&#x21D9;' '' Arrowsouthwest 119
 '&#x2AEA;' '' Latticetop 120
 '&#x2AEB;' '' Perpendicular 121
-'&#x219D;' '' leadstoext 122
-'&#x301C;' '' leadsto 123
+'&#x223C;' '' 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
 '&#x27E6;' '' dblbracketleft 126

Modified: trunk/lit/tex4ht-fonts-modern.tex
===================================================================
--- trunk/lit/tex4ht-fonts-modern.tex	2025-01-20 12:45:51 UTC (rev 1629)
+++ trunk/lit/tex4ht-fonts-modern.tex	2025-01-20 15:22:00 UTC (rev 1630)
@@ -22128,7 +22128,7 @@
 '?' '' `%Latticetop`% 120
 '?' '' `%Perpendicular`% 121
 '&#x223C;' '' `%leadstoext`% 122
-'&#x219D;' '' `%leadsto`% 123
+'&#x2933;' '' `%leadsto`% 123 - \leadsto is usually 21DD, but the glyph used in the font is more similar to this one
 '?' '' `%squareunionmulti`% 124
 '?' '' `%squareintersectmulti`% 125
 '&#x27E6;' '' `%dblbracketleft`% 126

Modified: trunk/lit/tex4ht-fonts-noncjk.tex
===================================================================
--- trunk/lit/tex4ht-fonts-noncjk.tex	2025-01-20 12:45:51 UTC (rev 1629)
+++ trunk/lit/tex4ht-fonts-noncjk.tex	2025-01-20 15:22:00 UTC (rev 1630)
@@ -12498,7 +12498,7 @@
 ''         ''              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
-'&#x219D;' '' leadsto      59 % tutorialspoint.com/tex_commands/ defines it as 21DD, which is a squiggle arrow, but there are dedicated squiggle arrows in TeX, so keep it as 219D
+'&#x21DD;' '' leadsto      59 % Used to be 219C, but that is completely different glyph.
 '&#x228F;' ''              60
 '&#x2290;' ''              61
 lasy 1 61