summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex4ht/ht-fonts/unicode/pl/pltex.htf
diff options
context:
space:
mode:
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.htf4
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