KOMA-Script 和 lmodern 之间的冲突：如何修复 \implies 错误？

Question

我想修复\implies符号的“错误”，该符号无法在大字体尺寸下正确呈现。因此这个答案，我使用了该lmodern包并重新定义了一个符号（参见答案）。

KOMA-Script但似乎和包之间存在冲突modern，正如 MWE 所示（标志\int未以正确的尺寸呈现）：

\documentclass{scrreprt}
\usepackage{amsmath}
\usepackage{lmodern}
\KOMAoptions{fontsize=20pt}

\begin{document}

$\displaystyle \int_0^1 f(t) dt \implies 1=1$

\end{document}

所以，我的问题是：如何修复的“错误”\implies以便它仍可与scrreprt软件包一起使用？的“错误”\implies是您可以在暗示符号中间看到的凸起。

---

备注：我使用该KOMA-Script包只是为了修改包中的字体大小standalone，

\documentclass[class=scrreprt]{standalone}

Answer 1

您链接的问题中 egreg 的修复也完美适用于 scrartcl。如果您想要更大的积分，您可以加载 excale 包（在 lmodern 之后！）：

\documentclass{scrreprt}
\usepackage{amsmath}
\usepackage{lmodern}
\usepackage{exscale}
\KOMAoptions{fontsize=20pt}
\makeatletter
% Load the OT1 definitions for lmodern
\input{ot1lmr.fd}
% Change the definition for \OT1/lmr/m/n/<size>
\DeclareFontShape{OT1}{lmr}{m}{n}%
  {<-5.5>    rm-lmr5  <5.5-6.5> rm-lmr6
   <6.5-7.5> rm-lmr7  <7.5-8.5> rm-lmr8
   <8.5-9.5> rm-lmr9  <9.5->    rm-lmr10
  }{}
\makeatother

\begin{document}

$\displaystyle \int_0^1 f(t) dt \implies 1=1$

\end{document}