0

I am trying to use the strict implication sign using pxfonts/txfonts, but it destroys my use of the integration sign.

Here is a MWE:

\documentclass[fleqn]{scrartcl}
\setkomafont{disposition}{\normalfont\bfseries}
\makeatletter\let\TTTemp\cap\makeatother
\usepackage[greek,english]{babel}
\usepackage{teubner}
\makeatletter\let\cap\TTTemp\makeatother
\usepackage{eurosym}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{lgreek}
\usepackage{graphicx}
\usepackage{textcomp}
\usepackage{cancel}
\usepackage{soul}
\usepackage{cjhebrew}
\usepackage{mathtools}
\usepackage{rotating}
\usepackage{esvect}
\usepackage{MnSymbol}
\usepackage{centernot}
\usepackage{cancel}
\usepackage{scalerel}
\usepackage{hyperref}
\usepackage{amsthm}
\usepackage{xpatch}
\usepackage{pxfonts}
\begin{document}
$\strictif$



$\int$ - Missing integration symbol
\end{document}
4
  • 3
    that's not a very minimal MWE:-) Commented Jun 9, 2018 at 21:39
  • That is true. I may minimalize it more, but that will take some caution. Commented Jun 9, 2018 at 21:50
  • 3
    It's much better if the questioner does that work before posting rather than everyone trying to help having to duplicate that effort Commented Jun 9, 2018 at 22:04
  • Thanks. I assumed this would be effortless to many. I now see that I may also learn some on how the things work by trying to minimalize maximally. Commented Jun 10, 2018 at 15:10

2 Answers 2

2

You load a ton of packages I suspect you will need all of it. But the problem of \int is not caused by pxfonts but MnSymbol, move it last or get rid of it completely.

With MnSymbol loaded last:

enter image description here

With MnSymbol removed:

enter image description here

0
1

If you use the newer newpxmath package the issue seems to go

\documentclass{article}
\usepackage{MnSymbol}
%\usepackage{pxfonts}
\let\mid\relax\usepackage{newpxtext,newpxmath}

\begin{document}
$\strictif$

$\int$ - Missing integration symbol
\end{document}
1

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .