这段简单的代码无法编译

这段简单的代码无法编译

这是代码:

\documentclass{article}

\usepackage{amsthm}

\begin{document}
 \begin{proof}
 \end{proof}
\end{document}

这是我收到的错误:

这是 pdfTeX,版本 3.14159265-2.6-1.40.19(TeX Live 2018/W32TeX)(预加载格式=pdflatex 2018.12.17)2020 年 6 月 3 日 17:21 进入扩展模式限制 \write18 已启用。%&-line 解析已启用。 **document.tex (./document.tex LaTeX2e <2018-12-01> (c:/texlive/2018/texmf-dist/tex/latex/base/article.cls 文档类别:article 2018/09/03 v1.4i 标准 LaTeX 文档类别 (c:/texlive/2018/texmf-dist/tex/latex/base/size10.clo 文件:size10.clo 2018/09/03 v1.4i 标准 LaTeX 文件 (size 选项) ) \c@part=\count80 \c@section=\count81 \c@subsection=\count82 \c@subsubsection=\count83 \c@paragraph=\count84 \c@subparagraph=\count85 \c@figure=\count86 \c@table=\count87 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 )(c:/texlive/2018/texmf-dist/tex/latex/amscls/amsthm.sty 包:amsthm 2017/10/31 v2.20.4 \thm@style=\toks14 \thm@bodyfont=\toks15 \thm@headfont=\toks16 \thm@notefont=\toks17 \thm@headpunct=\toks18 \thm@preskip=\skip43 \thm@postskip=\skip44 \thm@headsep=\skip45 \dth@everypar=\toks19 )(./document.aux) \openout1 = `document.aux'.

LaTeX 字体信息:检查输入行 5 上 OML/cmm/m/it 的默认值。LaTeX 字体信息:...输入行 5 上没问题。LaTeX 字体信息:检查输入行 5 上 T1/cmr/m/n 的默认值。LaTeX 字体信息:
...输入行 5 上没问题。LaTeX 字体信息:检查输入行 5 上 OT1/cmr/m/n 的默认值。LaTeX 字体信息:...输入行 5 上没问题。LaTeX 字体信息:检查输入行 5 上 OMS/cmsy/m/n 的默认值。LaTeX 字体信息:...输入行 5 上没问题。LaTeX 字体信息:检查输入行 5 上 OMX/cmex/m/n 的默认值。LaTeX 字体信息:...输入行 5 上没问题。LaTeX 字体信息:检查输入行 5 上 U/cmr/m/n 的默认值。LaTeX 字体信息:...输入行 5 上没问题。

! 未定义的控制序列。\qedsymbol ->\openbox l.7 \end{proof} 错误消息顶行末尾的控制序列从未被 \def'ed。如果您拼错了它(例如, \hobx'), typeI' 和正确的拼写(例如,`I\hbox')。否则继续,我会忘记未定义的内容。

[1

{c:/texlive/2018/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (./document.aux) ) 以下是您使用的 TeX 内存量: 492616 个字符串中的 301 个 6132767 个字符串字符中的 3273 个 5000000 个内存中的 60701 个字 15000+600000 个多字母控制序列中的 4294 个 多字母控制序列 15 种字体的 3986 个字的字体信息,共 9000 种字体中的 8000000 个 8191 个连字例外中的 1141 个 5000i、500n、10000p、200000b、80000s 中的 23i、4n、17p、116b、107s 堆栈位置(1 页,17026 字节)。PDF 统计信息:1000 个 PDF 对象中有 16 个(最多 8388607 个)1 个对象流中有 10 个压缩对象 1000 个命名目标中有 0 个(最多 500000 个)10000 个 PDF 输出的额外内存中有 1 个字(最多 10000000 个)

这段代码确实可以工作:

\documentclass{article}

\usepackage{newpxmath}
\usepackage{amsthm}

\begin{document}
 \begin{proof}
 \end{proof}
\end{document}

这里发生了什么?

编辑:这是我在编辑器中看到的内容。

在此处输入图片描述

相关内容