summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex4ht/ht-fonts/unicode
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex4ht/ht-fonts/unicode')
-rw-r--r--Master/texmf-dist/tex4ht/ht-fonts/unicode/Kp-Light-M-Syc/jkplsyc.htf4
-rw-r--r--Master/texmf-dist/tex4ht/ht-fonts/unicode/latex/lasy.htf6
-rw-r--r--Master/texmf-dist/tex4ht/ht-fonts/unicode/misc/wasy.htf10
-rw-r--r--Master/texmf-dist/tex4ht/ht-fonts/unicode/pxfonts/pxbsyc.htf6
-rw-r--r--Master/texmf-dist/tex4ht/ht-fonts/unicode/pxfonts/pxsyc.htf6
5 files changed, 16 insertions, 16 deletions
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/unicode/Kp-Light-M-Syc/jkplsyc.htf b/Master/texmf-dist/tex4ht/ht-fonts/unicode/Kp-Light-M-Syc/jkplsyc.htf
index 973771a1a14..66f16d32bd9 100644
--- a/Master/texmf-dist/tex4ht/ht-fonts/unicode/Kp-Light-M-Syc/jkplsyc.htf
+++ b/Master/texmf-dist/tex4ht/ht-fonts/unicode/Kp-Light-M-Syc/jkplsyc.htf
@@ -121,8 +121,8 @@ jkplsyc 0 152
'⇙' '' Arrowsouthwest 119
'⫪' '' Latticetop 120
'⫫' '' Perpendicular 121
-'↝' '' leadstoext 122
-'〜' '' leadsto 123
+'∿' '' leadstoext 122 -- used to be 219D, but that is completely different glyph. should be long tilde
+'⤳' '' leadsto 123 -- used to be 301C, but that is completely different glyph. should be wawy rigth arrow
'⊎︁' '' squareunionmulti 124
'⩎︁' '' squareintersectmulti 125
'⟦' '' dblbracketleft 126
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/unicode/latex/lasy.htf b/Master/texmf-dist/tex4ht/ht-fonts/unicode/latex/lasy.htf
index 772e5e9a0a5..f2d847358d3 100644
--- a/Master/texmf-dist/tex4ht/ht-fonts/unicode/latex/lasy.htf
+++ b/Master/texmf-dist/tex4ht/ht-fonts/unicode/latex/lasy.htf
@@ -1,6 +1,6 @@
lasy 1 61
'⊲' '' trianlleft 1 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-'⊴' '' trianlleft 2 % lasy.htf 2023-11-17-14:22 %
+'⊴' '' trianlleft 2 % lasy.htf 2025-01-21-13:11 %
'⊳' '' trianglright =3 % Copyright 2000-2009 Eitan M. Gurari %
'⊵' '' trianglright 4 %
'' '' =5 % This work may be distributed and/or modified under the conditions
@@ -56,8 +56,8 @@ lasy 1 61
'' '' 55
'' '' 56
'' '' 57
-'∼' '' 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
-'↝' '' 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
+'∿' '' 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
+'⇝' '' leadsto 59 % Used to be 219C, but that is completely different glyph.
'⊏' '' 60
'⊐' '' 61
lasy 1 61
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/unicode/misc/wasy.htf b/Master/texmf-dist/tex4ht/ht-fonts/unicode/misc/wasy.htf
index 7ac9700b589..11b2864eff1 100644
--- a/Master/texmf-dist/tex4ht/ht-fonts/unicode/misc/wasy.htf
+++ b/Master/texmf-dist/tex4ht/ht-fonts/unicode/misc/wasy.htf
@@ -1,6 +1,6 @@
wasy 0 127
'△' '' 0 %
-'⊲' '' 1 % wasy.htf 2023-12-20-14:09 %
+'⊲' '' 1 % wasy.htf 2025-01-21-13:11 %
'⊴' '' 2 % Copyright 2002-2009 Eitan M. Gurari %
'⊳' '' 3 %
'⊵' '' 4 % This work may be distributed and/or modified under the conditions
@@ -39,10 +39,10 @@ wasy 0 127
'☽' '' 37
'♁' '' 38
'☿' '' 39
-'⧼' '' 40
-'⧽' '' 41
-'⋏' '' 42
-'⋎' '' 43
+'˂' '' 40
+'˃' '' 41
+'˄' '' 42
+'˅' '' 43
'☺' '' 44
'☻' '' 45
'☼' '' 46
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/unicode/pxfonts/pxbsyc.htf b/Master/texmf-dist/tex4ht/ht-fonts/unicode/pxfonts/pxbsyc.htf
index 9d8962b4e94..55571371463 100644
--- a/Master/texmf-dist/tex4ht/ht-fonts/unicode/pxfonts/pxbsyc.htf
+++ b/Master/texmf-dist/tex4ht/ht-fonts/unicode/pxfonts/pxbsyc.htf
@@ -1,6 +1,6 @@
pxbsyc 0 152
'⫞' '' 0 %
-'⊧' '' 1 % pxsyc.htf (unicode) 2020-06-05-10:43 %
+'⊧' '' 1 % pxsyc.htf (unicode) 2025-01-21-13:11 %
'⫤' '' (wrong) 2 % Copyright (C) 2008-2009 Eitan M. Gurari %
'⊩' '' 3 %
'⫣' '' 4 % This work may be distributed and/or modified under the conditions
@@ -121,8 +121,8 @@ pxbsyc 0 152
'ᇙ' '' 119
'?' '' 120
'?' '' 121
-'∼' '' 122
-'↝' '' 123
+'∿' '' 122
+'⤳' '' 123 - \leadsto is usually 21DD, but the glyph used in the font is more similar to this one
'?' '' 124
'?' '' 125
'⟦' '' 126
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/unicode/pxfonts/pxsyc.htf b/Master/texmf-dist/tex4ht/ht-fonts/unicode/pxfonts/pxsyc.htf
index 76b7f771975..e7959380640 100644
--- a/Master/texmf-dist/tex4ht/ht-fonts/unicode/pxfonts/pxsyc.htf
+++ b/Master/texmf-dist/tex4ht/ht-fonts/unicode/pxfonts/pxsyc.htf
@@ -1,6 +1,6 @@
pxsyc 0 152
'⫞' '' 0 %
-'⊧' '' 1 % pxsyc.htf (unicode) 2020-05-27-14:14 %
+'⊧' '' 1 % pxsyc.htf (unicode) 2025-01-21-13:11 %
'⫤' '' (wrong) 2 % Copyright (C) 2008 Eitan M. Gurari
'⊩' '' 3 %
'⫣' '' 4 % This work may be distributed and/or modified under the conditions
@@ -121,8 +121,8 @@ pxsyc 0 152
'ᇙ' '' 119
'?' '' 120
'?' '' 121
-'∼' '' 122
-'↝' '' 123
+'∿' '' 122
+'⤳' '' 123 used to be 219D, but that is wrong
'?' '' 124
'?' '' 125
'⟦' '' 126