根据以下要求如何格式化？

Question

我正在向《组合学杂志》提交一篇文章。现在我需要遵循这两个要求。

(1) 在分章节的论文中，最好使用双阿拉伯数字连续编号定理、引理、定义、推论、例子等。（例如，第 3 节可以从定义 3.1 开始，然后是注释 3.2 和定理 3.3）。

（2）：用∎标记证明的结束。放在陈述句末尾的相同符号表示缺乏证明。

我目前的论文是这样的：（1）：论文分为几个部分。但是，定理、引理、定义、推论、例子等是连续编号的，与章节顺序无关；（2）：证明的结尾用空格 ∎ 标记，而不是 ∎。

您知道如何完成这两项任务吗？非常感谢您的时间和关注。

Answer 1

该命令\qed在 中定义amsthm。默认情况下，它是一个未填充的正方形，但可以通过 进行更改\renewcommand\qedsymbol{\ensuremath{\blacksquare}}。要使用\blacksquare还包括amssymb。

要对章节内的定理等进行编号，您可以使用\newtheorem{theorem}{Theorem}[section]。

一个例子（如果我理解的要求正确的话）：

\documentclass{article}
\usepackage{amsthm}
\usepackage{amssymb}
\renewcommand\qedsymbol{\ensuremath{\blacksquare}}
\newtheorem{theorem}{Theorem}[section]
\usepackage{lipsum}
\begin{document}
%%%%%%%%%%%%%%%%%%%%%
\section{Introduction}
\label{Sec:Intro}
\lipsum[1]
\begin{theorem}
  \label{Th:Obvious}
  Let $a$, $b$ and $c$ be real numbers. If $a\leq b$ and $b\leq c$, then $a\leq c$.
  \qed
\end{theorem}
%%%%%%%%%%%%%%%%%%%%%
\section{Complicated Theory}
\label{Sec:Complicated}
\lipsum[2]
\begin{theorem}
  \label{Th:Complicated}
  Let $a$, $b$ and $c$ be real numbers. If $a\leq b$ and $b\leq c$, then $\sum_{x\in\{a,b,c\}}x\leq 3c$.
\end{theorem}
\begin{proof}
  Follows directly from Theorem~\ref{Th:Obvious}. 
\end{proof}
%%%%%%%%%%%%%%%%%%%%%
\end{document}