summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/apxproof/examples/common.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/apxproof/examples/common.tex')
-rw-r--r--Master/texmf-dist/doc/latex/apxproof/examples/common.tex134
1 files changed, 134 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/apxproof/examples/common.tex b/Master/texmf-dist/doc/latex/apxproof/examples/common.tex
new file mode 100644
index 00000000000..788a5eec969
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/apxproof/examples/common.tex
@@ -0,0 +1,134 @@
+\usepackage{hyperref}
+
+\newtheoremrep{theorem}{Theorem}
+\newtheoremrep{lemma}{Lemma}
+
+\renewcommand{\appendixsectionformat}[2]{Material for #2 (Section~#1)}
+
+\begin{document}
+Hello world!
+
+\begin{theoremrep}
+ \label{th:toto}
+ This is a great result.
+\end{theoremrep}
+
+\begin{proofsketch}
+ This is the proof sketch of Theorem~\ref{th:toto}.
+\end{proofsketch}
+
+\begin{proof}
+ This is the proof of Theorem~\ref{th:toto}.
+\end{proof}
+
+\section{Section without Theorems}
+
+Since this section does not have any appendix content, it will not appear in the
+appendix. \cite{brin1998anatomy}
+
+\section{Section with Some Appendix Content}
+
+Not much in the main text.
+
+\begin{toappendix}
+ Hello appendix!
+\end{toappendix}
+
+\section{Section with Theorems}
+
+\begin{theoremrep}
+ \label{th:titi}
+ Another great result.
+\end{theoremrep}
+
+\begin{proofsketch}
+ Proof sketch of Theorem~\ref{th:titi}.
+\end{proofsketch}
+
+\begin{proof}
+ Proof of Theorem~\ref{th:titi}.
+
+ For some reason, this proof has an inline Lemma:
+ \begin{lemma}
+ This is the lemma.
+ \end{lemma}
+
+ \begin{nestedproof}
+ And this lemma has a proof as well!
+ \end{nestedproof}
+
+ This concludes the global proof of Theorem~\ref{th:titi}.
+\end{proof}
+
+\begin{theoremrep}
+ \label{th:tutu}
+ Another great result, without any proof sketch.
+\end{theoremrep}
+
+\begin{proof}
+ Proof of Theorem~\ref{th:tutu}. It has two
+ references~\cite{sitemaps,brin1998anatomy}.
+\end{proof}
+
+\begin{theorem}
+ A regular theorem, not repeated.
+\end{theorem}
+
+\begin{proof}
+This regular theorem is naturally followed with an inline proof.
+\end{proof}
+
+\begin{theoremrep}
+ \label{th:weird}
+ A repeated theorem, but with two proofs, one in Appendix and one in
+ main text.
+\end{theoremrep}
+
+\begin{inlineproof}
+ Main text proof of Theorem~\ref{th:weird}.
+\end{inlineproof}
+
+\begin{proof}
+ Appendix proof of Theorem~\ref{th:weird}.
+\end{proof}
+
+\begin{toappendix}
+And now for no particular reason, two isolated proofs in the appendix,
+ written in two different ways:
+
+ \begin{proof}[Proof of a non-existing result]
+ First with a regular \texttt{proof} environment inside a
+ \texttt{toappendix} environment.
+ \end{proof}
+\end{toappendix}
+
+\begin{appendixproof}
+ Second, with the specific \texttt{appendixproof} environment (but then,
+ cannot change the proof name).
+\end{appendixproof}
+
+\section{Last Section}
+
+\begin{theoremrep}
+ Another theorem.
+\end{theoremrep}
+
+\begin{toappendix}
+ This theorem does not have a proof, but a discussion in the appendix.
+ \textsf{apxproof} can figure, because of the \verb|theorem| environment
+ that follows, that the proof of the following theorem is not a proof of
+ this theorem.
+\end{toappendix}
+
+\begin{theorem}
+ Last theorem, not repeated.
+\end{theorem}
+
+\begin{proof}
+ Proof, inlined.
+\end{proof}
+
+\bibliographystyle{plain}
+\bibliography{../common}
+
+\end{document}