From 2834fd56cd1bc62d7f3c3be694fd9c2def9b4918 Mon Sep 17 00:00:00 2001
From: Karl Berry <karl@freefriends.org>
Date: Sun, 31 Dec 2017 22:10:53 +0000
Subject: rec-thy (31dec17)

git-svn-id: svn://tug.org/texlive/trunk@46178 c570f23f-e606-0410-a88d-b1316a301751
---
 Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex | 123 ++++++++++++++++++++++--
 1 file changed, 116 insertions(+), 7 deletions(-)

(limited to 'Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex')

diff --git a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
index 225770b62c0..9c5c1dd6936 100644
--- a/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
+++ b/Master/texmf-dist/doc/latex/rec-thy/rec-thy.tex
@@ -5,19 +5,55 @@
 %  Copyright (c) 2010 . All rights reserved.
 %
 
-\documentclass[11pt,oneside]{article}
+\documentclass[leqno,11pt]{amsart}
 \usepackage{amsmath}
 % \RequirePackage{amsmath}
 \usepackage[disallowspaces,fixamsmath]{mathtools}
 \usepackage{amssymb}
 \usepackage{amsthm}
 % \usepackage{amsfonts}
-\usepackage{rec-thy}
+% \DeclareMathAlphabet{\mathpzc}{OT1}{pzc}{m}{it}
+% \DeclareMathAlphabet{\mathbrush}{T1}{pbsi}{xl}{n}
+\usepackage{mathspec}
+
+\usepackage{unicode-math}
+\unimathsetup{math-style=TeX,bold-style=TeX,nabla=upright,partial=italic}
+\setmathfont{xits-math.otf}
+\setmathfont{xits-math.otf}[range={cal,bfcal},StylisticSet=1]
+
+\usepackage{hyperxmp}
+\usepackage[unicode,psdextra,pdfusetitle]{hyperref}
+\hypersetup{%
+	%pdfauthor={Peter M. Gerdes},
+            pdfsubject={LaTeX Package for Typesetting Computability Theory},
+            pdfkeywords={LaTeX;LaTex Package;Recursion Theory;Computability Theory;Mathematical Logic;r.e. sets; Turing reducibility;arithmetic hierarchy},
+            colorlinks=true,
+            citecolor=blue,
+            urlcolor=blue,
+            linkcolor=magenta,
+            pdfborder={0 0 0},
+            breaklinks=true,
+			pdfdisplaydoctitle=true,
+			pdfcontactaddress={107 Ardsley Drive},
+         	pdfcontactcity={Syracuse, NY},
+         	pdfcontactpostcode={13214},
+         	pdfcontactcountry={United States},
+        	pdfcontactphone={256-333-0128},
+        	pdfcontactemail={gerdes@invariant.org},
+        	pdfcontacturl={http://invariant.org},
+        	pdflang={en},
+        	% pdfauthortitle={Technical Assistant, Level III},
+        	% pdfdate={\today},
+        	pdfcopyright={Copyright (C) \today, Peter M. Gerdes},
+        	baseurl={http://invariant.org}
+}
+\usepackage{cleveref}
+\usepackage{listings}
 \usepackage{multirow}
 \usepackage{booktabs}
 \usepackage{xtab}
-\usepackage{hyperref}
-\usepackage{listings}
+\usepackage{rec-thy}
+\usepackage{metalogo}
 
 
 \newcommand{\tab}{\hspace{1cm}}
@@ -25,7 +61,7 @@
 %
 % Running Headers and footers
 %\usepackage{fancyhdr}
-%\usepackage[parfill]{parskip}
+\usepackage[parfill]{parskip}
 %\usepackage{setspace}
 
 % Multipart figures
@@ -47,7 +83,7 @@
 
 \title{The rec-thy Package}
 \author{Peter M. Gerdes (gerdes@invariant.org)}
-\date{2011-01-01: Version 2.1}
+\date{\today: Version 2.3}
 
 \begin{document}
 
@@ -58,7 +94,7 @@
 
 
 \begin{abstract}
-	The rec-thy package is designed to help mathematicians publishing papers in the area of recursion theory (aka Computability Theory) easily use standard notation.  This includes easy commands to denote Turing reductions, Turing functionals, \ce sets, stagewise computations, forcing and syntactic classes.
+\noindent The rec-thy package is designed to help mathematicians publishing papers in the area of recursion theory (aka Computability Theory) easily use standard notation.  This includes easy commands to denote Turing reductions, Turing functionals, \ce sets, stagewise computations, forcing and syntactic classes.
 \end{abstract}
 
 \section{Introduction}
@@ -468,6 +504,77 @@ To change the syntax for the computable infinitary formulas you can pass the opt
 		\bottomrule
 \end{xtabular}
 
+\subsection{Proof Cases}
+
+\begin{proof}
+The pfcases enviornment provides a numbered, referenceable division of a proof segment into cases.
+
+\begin{pfcases}
+\case[\( x = y \)]\label{case:first} %  
+	Lorem ipsum dolor sit amet, consectetur adipiscing elit. In et enim eget nisl luctus venenatis. Pellentesque sed erat sodales, tincidunt quam non, eleifend risus. Fusce aliquam dignissim pharetra. Integer id dui ac libero tincidunt consectetur. Sed laoreet nunc nec semper laoreet. 
+
+	Vestibulum semper eget velit ut lobortis. In vel finibus est. Nullam tellus dolor, pellentesque sed orci sed, ornare pretium diam. Nam vel tincidunt tellus. Nulla at mi nisl. 
+
+\case[\( x = z \land z > q \land z < r \land x + z = r \)] \label{case:second} %
+	Quisque consectetur, felis non congue dictum, mauris mi suscipit sem, vel laoreet justo ipsum in tellus. Suspendisse blandit malesuada velit faucibus pulvinar. 
+
+\begin{pfcases}
+\case[\( x=2 \)] \label{case:second:sub1} % 
+	ipsum dolor sit amet, consectetur adipiscing elit. In et enim eget nisl luctus venenatis. Pellentesque sed erat sodales, tincidunt quam non, eleifend risus. Fusce aliquam dignissim pharetra. Integer id dui ac libero tincidunt consectetur. Sed laoreet nunc nec semper laoreet. 
+\case[\( x = 3 \)] \label{case:second:sub2} % 
+	consectetur adipiscing elit. In et enim eget nisl luctus venenatis. Pellentesque sed erat sodales, tincidunt quam non, eleifend 
+\end{pfcases}
+
+\end{pfcases}
+
+We can now reference the case number \ref{case:second} and cleveref \cref{case:second} as well as case \ref{case:second:sub1} and cleveref \cref{case:second:sub2}.
+
+
+To skip numbering and instead reference with the argument to \verb=\case= use pfcases*
+\begin{pfcases*}
+\case[\( x = y \)]\label{case*:first}  Lorem ipsum dolor sit amet, consectetur adipiscing elit. In et enim eget nisl luctus venenatis. Pellentesque sed erat sodales, tincidunt quam non, eleifend risus. Fusce aliquam dignissim pharetra. Integer id dui ac libero tincidunt consectetur. Sed laoreet nunc nec semper laoreet. 
+
+Vestibulum semper eget velit ut lobortis. In vel finibus est. Nullam tellus dolor, pellentesque sed orci sed, ornare pretium diam. Nam vel tincidunt tellus. Nulla at mi nisl. 
+
+\case[\( x = z \land z > q \land z < r \land x + z = r \)] \label{case*:second} Quisque consectetur, felis non congue dictum, mauris mi suscipit sem, vel laoreet justo ipsum in tellus. Suspendisse blandit malesuada velit faucibus pulvinar. 
+\begin{pfcases*}
+\case[\( x=2 \)] \label{case*:second:sub1} Lorem ipsum dolor sit amet, consectetur adipiscing elit. In et enim eget nisl luctus venenatis. Pellentesque sed erat sodales, tincidunt quam non, eleifend risus. Fusce aliquam dignissim pharetra. Integer id dui ac libero tincidunt consectetur. Sed laoreet nunc nec semper laoreet. 
+\case[\( x = 3 \)] \label{case*:second:sub2}  consectetur adipiscing elit. In et enim eget nisl luctus venenatis. Pellentesque sed erat sodales, tincidunt quam non, eleifend 
+\end{pfcases*}
+\end{pfcases*}
+\end{proof}
+
+Again we can ref case \ref{case*:second} and cleverref that \cref{case*:second}.  Also case \ref{case*:second:sub1} and cleveref \cref{case*:second:sub2}.
+
+If the choice of cleveref labels aren't to your taste please let me know and I will consider changing them.  Also, note that by passing the options \verb!pfcasefont=textit! one can change the font used to typeset Case to italics (or whatever other font command you choose).
+
+\vspace{.5cm}
+
+The above is accomplished with the following code.
+\begin{verbatim}
+\begin{proof}
+\begin{pfcases}
+	\case[\( x = y \)]\label{case:first} ...
+	\case[\( x = z \land z > q \land z < r \land x + z = r \)] \label{case:second} ..
+		\begin{pfcases}
+			\case[\( x=2 \)] \label{case:second:sub1} ..
+			\case[\( x = 3 \)] \label{case:second:sub2}..
+		\end{pfcases}
+\end{pfcases}
+.. \ref{case:second}.. \cref{case:second} ..  \ref{case:second:sub1} .. \cref{case:second:sub2}
+\begin{pfcases*}
+	\case[\( x = y \)]\label{case*:first} ..
+	\case[\( x = z \land z > q \land z < r \land x + z = r \)] \label{case*:second} ..
+		\begin{pfcases*}
+			\case[\( x=2 \)] \label{case*:second:sub1} ..
+			\case[\( x = 3 \)] \label{case*:second:sub2}
+		\end{pfcases*}
+.. \ref{case*:second} .. \cref{case*:second} .. \ref{case*:second:sub1} .. \cref{case*:second:sub2}.
+\end{proof}
+\end{verbatim}
+
+
+
 \subsection{MRref}
 
 Finally to enable the mrref helper macros pass the option \verb=mrref=.\\  These macros normalize the formating of mathscinet references for supported bibliography styles and ensure the MR numbers link to the mathscinet page of the article.  Unless you have a good reason (like journal formatting guidelines) there is no reason not to always pass this option.  Note this option requires the hyperref package.
@@ -476,6 +583,8 @@ Finally to enable the mrref helper macros pass the option \verb=mrref=.\\  These
 \section{Release Notes}
 
 \begin{itemize}
+	\item[2.3] 12/31/2017 - Added proof cases helper.  Also fixed the issue with \verb=\ncequiv= in \XeLaTeX
+	\item[2.2] 11/14/2017 - Fixed \verb=\Tdeg= so it works different on symbols and vars and added \verb=\Tdegof= and \verb=\Tvarof=.  Added \verb=\subfunneq= and \verb=\supfunneq=.
 	\item[2.1] 10/05/2017 - Fixed way packages are required so rec-thy can be loaded in a flexible order.  Also fixed one or two bugs.
 	\item[2.0] 09/26/2017 - Added support for introducing requirements, the subfunction relation and probably other undocumented features
 	\item[1.3] 06/20/2012 - Added abbreviations for computable infinitary formulas and made a few minor fixes.
-- 
cgit v1.2.3

