更改字体样式/大小以供证明，在示例后添加方块

Question

是否可以更改证明的字体大小/（或样式）？我还想在每个示例的末尾添加一个小的空心方块，以便稍微分隔文本。类似 \qedhere 符号的东西。

\documentclass[11pt,a5paperfootinclude=true,headinclude=true]{scrbook} % KOMA-Script book
\usepackage[T1]{fontenc}
\usepackage{lipsum}
\usepackage[linedheaders,parts,pdfspacing]{classicthesis} % ,manychapters
\usepackage[bitstream-charter]{mathdesign}
%\usepackage[osf]{libertine}
\titleformat{\section}
 {\normalfont\bfseries}{\thesection}{1em}{}
\usepackage{amsthm}
\usepackage{amsmath}
 \usepackage{multicol}
 \usepackage{IEEEtrantools}
\usepackage{anysize}
\usepackage{stmaryrd}
\usepackage{bbding}
\usepackage{chngcntr}%added to reset footnote for each chapter
\counterwithout{footnote}{chapter}%added to reste footnote for each chapter 
\marginsize{0.1\paperwidth}{0.1\paperheight}{2cm}{2cm}
\newcommand{\bigslant}[2]{{\raisebox{.2em}{$#1$}\left/\raisebox{-.2em}{$#2$}\right.}}
\usepackage{enumerate}
\theoremstyle{plain}
\newtheorem{thm}{Theorem}[chapter] % reset theorem numbering for each chapter
\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition} % definition numbers are dependent on theorem numbers
\newtheorem{exmp}[thm]{Example}
\theoremstyle{corollary}
\newtheorem{cor}[thm]{Corollary}
\theoremstyle{lemma}
\newtheorem{lem}[thm]{Lemma}
\theoremstyle{proposition}
\newtheorem{prop}[thm]{Proposition}
\newcommand{\ndiv}{\hspace{-4pt}\not|\hspace{2pt}}
\DeclareMathOperator{\disc}{disc}
%\renewcommand{\qedsymbol}{\rule{0.7em}{0.7em}}
\renewcommand\qedsymbol{\RectangleBold}
\def\quotient#1#2{%
    \raise1ex\hbox{$#1$}\Big/\lower1ex\hbox{$#2$}%
}
\DeclareMathOperator{\order}{\mathcal{O}_{K}} %defined myself
\DeclareMathOperator{\z}{\mathbb{Z}} %defined myself
\DeclareMathOperator{\q}{\mathbb{Q}} %defined myself
\DeclareMathOperator{\C}{\mathbb{C}} %defined myself
\begin{document}
\begin{proof}
This is my proof
\end{proof}
\begin{exmp}
Want a hollow square at the end of this example.
\end{exmp}
\end{document}

产生

Answer 1

很简单，使用thmtools：

\documentclass[
  11pt,
%  a5paper,% really?
  footinclude=true,
  headinclude=true
]{scrbook} % KOMA-Script book

\usepackage[T1]{fontenc}
\usepackage[linedheaders,parts,pdfspacing]{classicthesis} % ,manychapters
\usepackage[bitstream-charter]{mathdesign}
\usepackage{bbding}
\usepackage{amsthm}
\usepackage{thmtools}

\theoremstyle{plain}
\newtheorem{thm}{Theorem}[chapter] % reset theorem numbering for each chapter
\newtheorem{cor}[thm]{Corollary}
\newtheorem{lem}[thm]{Lemma}
\newtheorem{prop}[thm]{Proposition}

\theoremstyle{definition}
\newtheorem{defn}[thm]{Definition} % definition numbers are dependent on theorem numbers

\declaretheoremstyle[
  style=definition,
  qed=\openbox,
]{example}
\declaretheorem[
  name=Example,
  style=example,
  numberlike=thm,
]{exmp}

\renewcommand\qedsymbol{\RectangleBold}

\begin{document}
\begin{proof}
This is my proof
\end{proof}
\begin{exmp}
Want a hollow square at the end of this example.
\end{exmp}
\end{document}

我删除了序言中不必要的部分。请注意，没有lemma或定理样式。完整的规范将是corollarypropositionthmtools

\documentclass[
  11pt,
%  a5paper,% really?
  footinclude=true,
  headinclude=true
]{scrbook} % KOMA-Script book

\usepackage[T1]{fontenc}
\usepackage[linedheaders,parts,pdfspacing]{classicthesis} % ,manychapters
\usepackage[bitstream-charter]{mathdesign}
\usepackage{bbding}
\usepackage{amsthm}
\usepackage{thmtools}

\declaretheorem[
  style=plain,
  name=Theorem,
  within=chapter,
]{thm}
\declaretheorem[
  style=plain,
  name=Lemma,
  numberlike=thm,
]{lem}
\declaretheorem[
  style=plain,
  name=Proposition,
  numberlike=thm,
]{prop}
\declaretheorem[
  style=plain,
  name=Corollary,
  numberlike=thm,
]{cor}

\theoremstyle{definition}
\declaretheorem[
  style=definition,
  name=Definition,
  numberlike=thm,
]{defn}

\declaretheoremstyle[
  style=definition,
  qed=\openbox,
]{example}
\declaretheorem[
  name=Example,
  style=example,
  numberlike=thm,
]{exmp}

\renewcommand\qedsymbol{\RectangleBold}

\begin{document}
\chapter{Title}
\begin{prop}
A proposition.
\end{prop}
\begin{lem}
A lemma.
\end{lem}
\begin{thm}
A theorem.
\end{thm}
\begin{proof}
This is my proof
\end{proof}
\begin{cor}
A corollary.
\end{cor}
\begin{exmp}
Want a hollow square at the end of this example.
\end{exmp}
\end{document}

Answer 2

作为示例环境，我使用以下内容（类似）：

\newenvironment{Example}[1][\relax]%
  {\refstepcounter{equation}\trivlist
   \ifx#1\relax
     \item[\hskip\labelsep\theequation.~\textbf{Example}\space]
    \else
     \item[\hskip\labelsep\theequation.~\textbf{Example }(#1)\space]
   \fi
   \ignorespaces
  }{\unskip\nobreak\hfil%
    \penalty50\hskip2em\hbox{}\nobreak\hfil$\diamondsuit$%
    \parfillskip=0pt\finalhyphendemerits=0\penalty-100\endtrivlist%
}

如果您想更改环境中使用的字体等，proof那么您可以使用以下命令劫持它：

\newenvironment{Proof}[1][Proof]{\proof[#1]\large\itshape}{\endproof}

现在，证明以大斜体字体书写。