diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/apxproof/examples/common.tex')
-rw-r--r-- | Master/texmf-dist/doc/latex/apxproof/examples/common.tex | 134 |
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} |