diff --git a/lib/Makefile.am b/lib/Makefile.am index cd50110b83..9854ba4b59 100644 --- a/lib/Makefile.am +++ b/lib/Makefile.am @@ -228,6 +228,7 @@ dist_fonts_DATA = \ fonts/cmmi10.ttf \ fonts/cmr10.ttf \ fonts/cmsy10.ttf \ + fonts/esint10.ttf \ fonts/eufm10.ttf \ fonts/msam10.ttf \ fonts/msbm10.ttf \ diff --git a/lib/fonts/esint10.ttf b/lib/fonts/esint10.ttf new file mode 100644 index 0000000000..b803a157b1 Binary files /dev/null and b/lib/fonts/esint10.ttf differ diff --git a/lib/symbols b/lib/symbols index 2a61daa18f..e1542ceebc 100644 --- a/lib/symbols +++ b/lib/symbols @@ -776,8 +776,6 @@ iiint esint 005 0 mathop x esintoramsmath iiintop esint 005 0 mathop x esint iiiint esint 007 0 mathop x esintoramsmath iiiintop esint 007 0 mathop x esint -dotsint esint 009 0 mathop x esint -dotsintop esint 009 0 mathop x esint oint esint 011 0 mathop x esint ointop esint 011 0 mathop x esint oiint esint 013 0 mathop x esint @@ -786,6 +784,8 @@ sqint esint 015 0 mathop x esint sqintop esint 015 0 mathop x esint sqiint esint 017 0 mathop x esint sqiintop esint 017 0 mathop x esint +dotsint esint 019 0 mathop x esint +dotsintop esint 019 0 mathop x esint ointctrclockwise esint 023 0 mathop x esint ointctrclockwiseop esint 023 0 mathop x esint ointclockwise esint 025 0 mathop x esint diff --git a/status.15x b/status.15x index d1d19d18b4..8cbccbe43e 100644 --- a/status.15x +++ b/status.15x @@ -26,7 +26,8 @@ What's new * USER INTERFACE - +- Add the esint font to the private math fonts. This font assures a + consistent on screen looking for all kinds of supported integral signs. ** Bug fixes: *************