diff options
Diffstat (limited to 'Master/texmf-dist/tex4ht/ht-fonts/unicode/pl/pltex.htf')
-rw-r--r-- | Master/texmf-dist/tex4ht/ht-fonts/unicode/pl/pltex.htf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/unicode/pl/pltex.htf b/Master/texmf-dist/tex4ht/ht-fonts/unicode/pl/pltex.htf index 7fd2c74c0ec..290cbc117ed 100644 --- a/Master/texmf-dist/tex4ht/ht-fonts/unicode/pl/pltex.htf +++ b/Master/texmf-dist/tex4ht/ht-fonts/unicode/pl/pltex.htf @@ -1,6 +1,6 @@ pltex 0 127 '⋅' '' 0 % -'↓' '' downarrow 1 % pltex.htf (unicode) 2019-08-20-14:31 % +'↓' '' downarrow 1 % pltex.htf (unicode) 2020-05-27-14:14 % 'α' '' alpha 2 % Copyright 2004-2009 Eitan M. Gurari % 'β' '' beta 3 % '∧' '' 4 % This work may be distributed and/or modified under the conditions @@ -16,7 +16,7 @@ pltex 0 127 '∞' '' infinity 14 % version identification would be appreciated. '∂' '' partial 15 % '⊂' '' subset 16 % tex4ht@tug.org -'⊃' '' supset 17 % http://www.tug.org/tex4ht +'⊃' '' supset 17 % https://tug.org/tex4ht '∩' '' 18 % '∪' '' 19 '∀' '' forall 20 |