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 | 2 |
1 files changed, 1 insertions, 1 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 f8b49829ed8..c16a40021ff 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) 2008-05-07 % +'↓' '' downarrow 1 % pltex.htf (unicode) 2008-06-21 % 'α' '' alpha 2 % Copyright (C) 2004--2008 Eitan M. Gurari % 'β' '' beta 3 % % '∧' '' 4 % This work may be distributed and/or modified under the conditions % |