diff options
Diffstat (limited to 'Master/texmf-dist/tex4ht/ht-fonts/unicode/dstroke/esint.htf')
-rw-r--r-- | Master/texmf-dist/tex4ht/ht-fonts/unicode/dstroke/esint.htf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/tex4ht/ht-fonts/unicode/dstroke/esint.htf b/Master/texmf-dist/tex4ht/ht-fonts/unicode/dstroke/esint.htf index 8fd3f219a75..84119880408 100644 --- a/Master/texmf-dist/tex4ht/ht-fonts/unicode/dstroke/esint.htf +++ b/Master/texmf-dist/tex4ht/ht-fonts/unicode/dstroke/esint.htf @@ -1,6 +1,6 @@ esint 1 38 '∫' '' \int % 1 % -'∫' '' % 2 % esint.htf (unicode) 2019-08-20-14:31 % +'∫' '' % 2 % esint.htf (unicode) 2020-05-27-14:14 % '∬' '' \iint % 3 % Copyright 2004-2009 Eitan M. Gurari '∬' '' % 4 % Eitan M. Gurari '∭' '' \iiint % 5 % @@ -17,7 +17,7 @@ esint 1 38 '⨖' '' %16 % version identification would be appreciated. '⨖⨖' '' \sqiint %17 % '⨖⨖' '' %18 % tex4ht@tug.org -'' '' %19 % http://www.tug.org/tex4ht +'' '' %19 % https://tug.org/tex4ht '' '' %20 % '' '' % 21 '' '' % 22 |