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