texlive[73553] Master/texmf-dist: Unicode characters for \leadstoext

commits+karl at tug.org commits+karl at tug.org
Tue Jan 21 22:22:18 CET 2025


Revision: 73553
          https://tug.org/svn/texlive?view=revision&revision=73553
Author:   karl
Date:     2025-01-21 22:22:18 +0100 (Tue, 21 Jan 2025)
Log Message:
-----------
Unicode characters for \leadstoext and arrow heads, tex4ht r1631

Revision Links:
--------------
    https://tug.org/svn/texlive?view=revision&revision=1631

Modified Paths:
--------------
    trunk/Master/texmf-dist/source/generic/tex4ht/ChangeLog
    trunk/Master/texmf-dist/source/generic/tex4ht/tex4ht-fonts-kpfonts.tex
    trunk/Master/texmf-dist/source/generic/tex4ht/tex4ht-fonts-modern.tex
    trunk/Master/texmf-dist/source/generic/tex4ht/tex4ht-fonts-noncjk.tex
    trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/Kp-Light-M-Syc/jkplsyc.htf
    trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/latex/lasy.htf
    trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/misc/wasy.htf
    trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/pxfonts/pxbsyc.htf
    trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/pxfonts/pxsyc.htf

Modified: trunk/Master/texmf-dist/source/generic/tex4ht/ChangeLog
===================================================================
--- trunk/Master/texmf-dist/source/generic/tex4ht/ChangeLog	2025-01-21 20:47:44 UTC (rev 73552)
+++ trunk/Master/texmf-dist/source/generic/tex4ht/ChangeLog	2025-01-21 21:22:18 UTC (rev 73553)
@@ -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/Master/texmf-dist/source/generic/tex4ht/tex4ht-fonts-kpfonts.tex
===================================================================
--- trunk/Master/texmf-dist/source/generic/tex4ht/tex4ht-fonts-kpfonts.tex	2025-01-21 20:47:44 UTC (rev 73552)
+++ trunk/Master/texmf-dist/source/generic/tex4ht/tex4ht-fonts-kpfonts.tex	2025-01-21 21:22:18 UTC (rev 73553)
@@ -1,4 +1,4 @@
-% $Id: tex4ht-fonts-kpfonts.tex 1630 2025-01-20 15:22:00Z michal_h21 $
+% $Id: tex4ht-fonts-kpfonts.tex 1631 2025-01-21 14:29:06Z michal_h21 $
 % etex {nameofthefile.tex}
 %
 % Copyright 2021 TeX Users Group.
@@ -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/Master/texmf-dist/source/generic/tex4ht/tex4ht-fonts-modern.tex
===================================================================
--- trunk/Master/texmf-dist/source/generic/tex4ht/tex4ht-fonts-modern.tex	2025-01-21 20:47:44 UTC (rev 73552)
+++ trunk/Master/texmf-dist/source/generic/tex4ht/tex4ht-fonts-modern.tex	2025-01-21 21:22:18 UTC (rev 73553)
@@ -1,4 +1,4 @@
-% $Id: tex4ht-fonts-modern.tex 1630 2025-01-20 15:22:00Z michal_h21 $
+% $Id: tex4ht-fonts-modern.tex 1631 2025-01-21 14:29:06Z michal_h21 $
 % Included from tex4ht-fonts-noncjk.tex, not run on its own.
 % 
 % Copyright 2009-2020 TeX Users Group
@@ -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/Master/texmf-dist/source/generic/tex4ht/tex4ht-fonts-noncjk.tex
===================================================================
--- trunk/Master/texmf-dist/source/generic/tex4ht/tex4ht-fonts-noncjk.tex	2025-01-21 20:47:44 UTC (rev 73552)
+++ trunk/Master/texmf-dist/source/generic/tex4ht/tex4ht-fonts-noncjk.tex	2025-01-21 21:22:18 UTC (rev 73553)
@@ -1,4 +1,4 @@
-% $Id: tex4ht-fonts-noncjk.tex 1630 2025-01-20 15:22:00Z michal_h21 $
+% $Id: tex4ht-fonts-noncjk.tex 1631 2025-01-21 14:29:06Z michal_h21 $
 %          tex tex4ht-fonts-noncjk
 % or    ht tex tex4ht-fonts-noncjk   
 %
@@ -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

Modified: trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/Kp-Light-M-Syc/jkplsyc.htf
===================================================================
--- trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/Kp-Light-M-Syc/jkplsyc.htf	2025-01-21 20:47:44 UTC (rev 73552)
+++ trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/Kp-Light-M-Syc/jkplsyc.htf	2025-01-21 21:22:18 UTC (rev 73553)
@@ -121,8 +121,8 @@
 '&#x21D9;' '' Arrowsouthwest 119
 '&#x2AEA;' '' Latticetop 120
 '&#x2AEB;' '' Perpendicular 121
-'&#x219D;' '' leadstoext 122
-'&#x301C;' '' leadsto 123
+'&#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
 '&#x27E6;' '' dblbracketleft 126

Modified: trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/latex/lasy.htf
===================================================================
--- trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/latex/lasy.htf	2025-01-21 20:47:44 UTC (rev 73552)
+++ trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/latex/lasy.htf	2025-01-21 21:22:18 UTC (rev 73553)
@@ -1,6 +1,6 @@
 lasy 1 61
 '&#x22B2;' '' trianlleft    1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-'&#x22B4;' '' trianlleft    2 % lasy.htf                   2023-11-17-14:22 %
+'&#x22B4;' '' trianlleft    2 % lasy.htf                   2025-01-21-13:11 %
 '&#x22B3;' '' trianglright =3 % Copyright 2000-2009 Eitan M. Gurari %
 '&#x22B5;' '' trianglright  4 %
 ''         ''              =5 % This work may be distributed and/or modified under the conditions
@@ -56,8 +56,8 @@
 ''         ''              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
-'&#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
+'&#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
 lasy 1 61

Modified: trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/misc/wasy.htf
===================================================================
--- trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/misc/wasy.htf	2025-01-21 20:47:44 UTC (rev 73552)
+++ trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/misc/wasy.htf	2025-01-21 21:22:18 UTC (rev 73553)
@@ -1,6 +1,6 @@
 wasy 0 127
 '&#x25b3;' ''  0    %
-'&#x22b2;' ''  1    % wasy.htf  2023-12-20-14:09 %
+'&#x22b2;' ''  1    % wasy.htf  2025-01-21-13:11 %
 '&#x22b4;' ''  2    % Copyright 2002-2009 Eitan M. Gurari %
 '&#x22b3;' ''  3    %
 '&#x22b5;' ''  4    % This work may be distributed and/or modified under the conditions
@@ -39,10 +39,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

Modified: trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/pxfonts/pxbsyc.htf
===================================================================
--- trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/pxfonts/pxbsyc.htf	2025-01-21 20:47:44 UTC (rev 73552)
+++ trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/pxfonts/pxbsyc.htf	2025-01-21 21:22:18 UTC (rev 73553)
@@ -1,6 +1,6 @@
 pxbsyc 0 152
 '&#x2ADE;' ''  0  %
-'&#x22A7;' ''  1  % pxsyc.htf (unicode)      2020-06-05-10:43 %
+'&#x22A7;' ''  1  % pxsyc.htf (unicode)      2025-01-21-13:11 %
 '&#x2AE4;' '' (wrong)  2  % Copyright (C) 2008-2009                    Eitan M. Gurari %
 '&#x22A9;' ''  3  %
 '&#x2AE3;' ''  4  % This work may be distributed and/or modified under the conditions
@@ -121,8 +121,8 @@
 '&#x11D9;' ''  119
 '?' ''  120
 '?' ''  121
-'&#x223C;' ''  122
-'&#x219D;' ''  123
+'&#x223F;' ''  122
+'&#x2933;' ''  123 - \leadsto is usually 21DD, but the glyph used in the font is more similar to this one
 '?' ''  124
 '?' ''  125
 '&#x27E6;' ''  126

Modified: trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/pxfonts/pxsyc.htf
===================================================================
--- trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/pxfonts/pxsyc.htf	2025-01-21 20:47:44 UTC (rev 73552)
+++ trunk/Master/texmf-dist/tex4ht/ht-fonts/unicode/pxfonts/pxsyc.htf	2025-01-21 21:22:18 UTC (rev 73553)
@@ -1,6 +1,6 @@
 pxsyc 0 152
 '&#x2ADE;' ''  0  %
-'&#x22A7;' ''  1  % pxsyc.htf (unicode)      2020-05-27-14:14 %
+'&#x22A7;' ''  1  % pxsyc.htf (unicode)      2025-01-21-13:11 %
 '&#x2AE4;' '' (wrong)  2  % Copyright (C) 2008                    Eitan M. Gurari 
 '&#x22A9;' ''  3  %
 '&#x2AE3;' ''  4  % This work may be distributed and/or modified under the conditions
@@ -121,8 +121,8 @@
 '&#x11D9;' ''  119
 '?' ''  120
 '?' ''  121
-'&#x223C;' ''  122
-'&#x219D;' ''  123
+'&#x223F;' ''  122
+'&#x2933;' ''  123 used to be 219D, but that is wrong
 '?' ''  124
 '?' ''  125
 '&#x27E6;' ''  126



More information about the tex-live-commits mailing list.