From 59043f5dcffdd257e2a64806a6238094a7df7231 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Thu, 30 Oct 2008 23:55:15 +0000 Subject: syllogism update (29oct08) git-svn-id: svn://tug.org/texlive/trunk@11131 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/latex/syllogism/Examples.pdf | Bin 0 -> 130736 bytes Master/texmf-dist/doc/latex/syllogism/Examples.tex | 49 ++++++ Master/texmf-dist/doc/latex/syllogism/README | 2 +- .../texmf-dist/doc/latex/syllogism/syllogism.pdf | Bin 232824 -> 236203 bytes .../texmf-dist/doc/latex/syllogism/syllogism.tex | 38 +++-- .../texmf-dist/tex/latex/syllogism/syllogism.sty | 189 ++++++++++++--------- 6 files changed, 184 insertions(+), 94 deletions(-) create mode 100644 Master/texmf-dist/doc/latex/syllogism/Examples.pdf create mode 100644 Master/texmf-dist/doc/latex/syllogism/Examples.tex diff --git a/Master/texmf-dist/doc/latex/syllogism/Examples.pdf b/Master/texmf-dist/doc/latex/syllogism/Examples.pdf new file mode 100644 index 00000000000..70b3ab0f7f2 Binary files /dev/null and b/Master/texmf-dist/doc/latex/syllogism/Examples.pdf differ diff --git a/Master/texmf-dist/doc/latex/syllogism/Examples.tex b/Master/texmf-dist/doc/latex/syllogism/Examples.tex new file mode 100644 index 00000000000..34eea2c7a8a --- /dev/null +++ b/Master/texmf-dist/doc/latex/syllogism/Examples.tex @@ -0,0 +1,49 @@ +\documentclass[letterpaper, + 10pt, + ]{article} + + +\usepackage[T1]{fontenc} +\usepackage[english]{babel} +\usepackage{xcolor} + +\usepackage{syllogism} + +% . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . +\colorlet{sred}{red!60!black} +\newcommand{\syllp}{\texttt{\color{sred}syllogism}\xspace} +\colorlet{comcol}{green!45!black} +\newcommand{\comm}[1]{\texttt{\color{comcol}\textbackslash{}#1}\xspace} % commands + +% . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . + +\title{Examples for the \syllp package} +\author{(c) 2007--2008 \textsc{Nicolas Vaughan}\\ \\ + Report bugs and submit questions to:\\ + \texttt{nivaca@gmail.com} + } +\date{Oct. 10, 2008} + + +\begin{document}% ============================================================= +\setlength{\parindent}{0em} +\maketitle + +\def\preA{All men except Socrates are able to laugh} +\def\preB{Socrates is a man} +\def\Conc{Socrates is not able to laugh} + + +\comm{syllog} example: +\syllog{\preA}{\preB}{\Conc} + +\comm{syllogC} example: +\syllogC{\preA}{\preB}{\Conc} + +\comm{syllogTA} example: +\syllogTA{\preA}{\preB}{\Conc} + +\comm{syllogTAC} example: +\syllogTAC{\preA}{\preB}{\Conc} + +\end{document}% ============================================================= \ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/syllogism/README b/Master/texmf-dist/doc/latex/syllogism/README index 5dc90bf7a4f..e99f0ecdf23 100644 --- a/Master/texmf-dist/doc/latex/syllogism/README +++ b/Master/texmf-dist/doc/latex/syllogism/README @@ -4,4 +4,4 @@ It is fully configurable, allowing the user to tweak the various distances, line widths, and other options. Author: Nicolas Vaughan -License: LaTeX Project Public License \ No newline at end of file +License: LaTeX Project Public License diff --git a/Master/texmf-dist/doc/latex/syllogism/syllogism.pdf b/Master/texmf-dist/doc/latex/syllogism/syllogism.pdf index 8b1baf1c5e4..90bad3b9a42 100644 Binary files a/Master/texmf-dist/doc/latex/syllogism/syllogism.pdf and b/Master/texmf-dist/doc/latex/syllogism/syllogism.pdf differ diff --git a/Master/texmf-dist/doc/latex/syllogism/syllogism.tex b/Master/texmf-dist/doc/latex/syllogism/syllogism.tex index 992605792ca..8ae9055a080 100644 --- a/Master/texmf-dist/doc/latex/syllogism/syllogism.tex +++ b/Master/texmf-dist/doc/latex/syllogism/syllogism.tex @@ -1,13 +1,13 @@ % Manual for the syllogism package -% (c) Nicol\'{a}s Vaughan 2008 (nvaughanc@unal.edu.co) +% (c) Nicolas Vaughan 2008 (nivaca@gmail.com) +% 25/10/2008 \documentclass[letterpaper, 10pt, ]{article} \usepackage[T1]{fontenc} -\usepackage[english, - ]{babel} +\usepackage[english]{babel} \usepackage[ colorlinks% @@ -34,7 +34,7 @@ % . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . -\newcommand{\syllversion}{release 1.1} +\newcommand{\syllversion}{release 1.2} \newcommand{\syllp}{\texttt{\color{sred}syllogism}\xspace} \colorlet{sblue}{blue!60!black} \colorlet{sred}{red!60!black} @@ -57,7 +57,7 @@ Report bugs and submit questions to:\\ \texttt{nivaca@gmail.com} } -\date{June 2, 2008} +\date{Oct. 29, 2008} \makeindex \begin{document}% ============================================================= @@ -68,12 +68,21 @@ \section{Introduction} The \syllp package provides a simple way for neatly typesetting syllogisms and syllogistic-like arguments, composed of two premisses and a conclusion. It is fully configurable, allowing the user to tweak the various distances, line widths, and other options. +\section{Changelog} +\begin{description} + \item[v.\,1.2 (25/10/2008)] Changed the typesetting engine of \comm{syllog}. + \item[] Fixed a problem with \comm{syllogTAC}. (Thanks to Carlos Cortissoz for noticing this.) + \item[v.\,1.1 (02/06/2008)] Added a syllogism counter (\comm{c:syl}) and two new commands, \comm{syllogC} and \comm{syllogTAC}. +\end{description} + \section{How to use it~\label{S:howto}} You must set -\texttt{\textbackslash{}usepackage[\emph{options}]\{syllogism\}} before -\texttt{\textbackslash{}begin\{document\}} command. The available options +\comm{usepackage[\emph{options}]\{syllogism\}} before the +\comm{begin\{document\}} command. The available options are described in section~\S \ref{S:options}. +To install \syllp, just place it anywhere \LaTeX can find it (e.g., \url{/texmf-local/tex/latex/syllogism}). + \subsection{\comm{syllog}~\label{SS:syllog}~\maincind{syllog}~\index{main commands}} The main command provided by the package is \comm{syllog}, whose syntax is: @@ -146,11 +155,9 @@ The command \comm{syllogTA} works almost exactly as \comm{syllog}, the only diff \bigskip -As for today, \syllp supports three languages for this task: English, Spanish and Latin. The default language is English. (The language may be changed through a package option, see \S \ref{S:options} below). The added text for each language is shown in Table \S \ref{T:languages}. - -\bigskip +As for today, \syllp supports three languages for this task: English, Spanish and Latin. The default language is English. (The language may be changed through a package option, see \S \ref{S:options} below). The added text for each language is shown in Table \ref{T:languages}, below. -\begin{table} +\begin{table}[h] \begin{center} \begin{tabular}{lcc} & \textsc{second premiss} & \textsc{conclusion} \\ @@ -163,10 +170,7 @@ As for today, \syllp supports three languages for this task: English, Spanish an \end{center} \end{table} - -\bigskip - -For example, the following code: +For example, the following code: \begin{quote} \comm{syllogTA\{Every man except Socrates is musician\}}\%\\ @@ -183,7 +187,7 @@ Please note that the text may be defined through several commands provided also \subsection{\comm{syllogTAC}~\label{SS:syllogTAC}~\maincind{syllogTAC}} The command \comm{syllogTAC}, which adds an automatic counter to \comm{syllogTA}~\maincind{syllogTA}.% \footnote{See note \ref{N:slabel}, above. - } % + } % Its syntax is: \bigskip @@ -209,7 +213,7 @@ The option \texttt{english} is the default one. As stated previously, the text c \begin{description} \item[\comm{setpresyl}] Command~\addcind{setpresyl} for changing the horizontal space to the right of the syllogism (def=2em). \item[\comm{setsyllabel}] Command~\addcind{setsyllabel} for changing the horizonal space between the label and the syllogism (def=1em). - \item[\comm{setsylrh}] Command~\addcind{setsylrh} for changing the `width' of the rule (def=.5pt). + \item[\comm{setsylrh}] Command~\addcind{setsylrh} for changing the `width' of the rule (def=.3pt). \item[\comm{setsylsepa}] Command~\addcind{setsylsepa} for changing the vertical space before the syllogism (def=\texttt{\textbackslash{}baselineskip}). \item[\comm{setsylsepb}] Command~\addcind{setsylsepb} for changing the vertical space after the syllogism (def=\texttt{\textbackslash{}baselineskip}). \item[\comm{setsylsep}] Command~\addcind{setsylsep} for changing the vertical space \emph{both} before \emph{and} after the syllogism to the same value. diff --git a/Master/texmf-dist/tex/latex/syllogism/syllogism.sty b/Master/texmf-dist/tex/latex/syllogism/syllogism.sty index a9172fba0db..f12928789e1 100644 --- a/Master/texmf-dist/tex/latex/syllogism/syllogism.sty +++ b/Master/texmf-dist/tex/latex/syllogism/syllogism.sty @@ -6,11 +6,11 @@ %% Author: Nicolas Vaughan %% e-mail: nivaca@gmail.com %% status: supported -%% filedate 17/04/2008 +%% filedate 25/10/2008 % \NeedsTeXFormat{LaTeX2e} -\def\filedate{04/17/2008} -\def\fileversion{v1.1} +\def\filedate{25/10/2008} +\def\fileversion{v1.2} \typeout{Package syllogism \fileversion\space<\filedate>.} % \NeedsTeXFormat{LaTeX2e} @@ -25,40 +25,38 @@ \newlength{\SY@LenC} % Length of the conclusion \newlength{\SY@LenLab} % Length of the label \newlength{\SY@LenRule} % Length of rule -\newlength{\SY@HiRule} % Height of rule +\newlength{\SY@HiRule} % `Height' of rule +% \newlength{\SY@LenAdjRule} % Adjust rule separation -\newlength{\SY@LenSepRuleA} % Separation between premiss and rule -\newlength{\SY@LenSepRuleB} % Separation between rule and conclusion \newlength{\SY@LenSepA} % Separation above syllogism \newlength{\SY@LenSepB} % Separation below syllogism +% \newlength{\SY@DeltaC} % Added to rule in case the longest it the conclusion -\newlength{\SY@SpLabel} % Space between label and syllogism -\newlength{\SY@SpConEG} % Space between conclusion and Ergo-Sign -\newlength{\SY@Pre} % Space between left margin and label +\newlength{\SY@SpLabel} % Hspace between label and syllogism +\newlength{\SY@SpConEG} % Hspace between conclusion and Ergo-Sign +\newlength{\SY@Pre} % Hspace between left margin and label \newlength{\SY@LenBefSyl} % Stores the total length before the premisses \newlength{\SY@availSpace} % Stores the available width for premisses -\newlength{\SY@prSkip} % Premiss skip \newlength{\SY@maxPLen} % Length of widest premiss or conclusion \newlength{\SY@tempindent} \newif\if@SYParam\@SYParamfalse % Boolean for optional argument \newif\if@SYpCtooW\@SYpCtooWfalse % If the conclusion is too wide % %%%%%%%%%%%%%%%%%%%%%%%% Defaults %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -\setlength{\SY@LenPA}{\z@} -\setlength{\SY@LenPB}{\z@} -\setlength{\SY@LenC}{\z@} -\setlength{\SY@maxPLen}{\z@} -\setlength{\SY@LenAdjRule}{.6ex} -\setlength{\SY@LenSepA}{\baselineskip} -\setlength{\SY@LenSepB}{\baselineskip} -\setlength{\SY@HiRule}{.5pt} -\setlength{\SY@LenSepRuleB}{2pt} -\setlength{\SY@LenSepRuleA}{2pt} +\setlength{\SY@LenPA}{\z@}% Used to store the length of 1st premiss +\setlength{\SY@LenPB}{\z@}% Used to store the length of 2nd premiss +\setlength{\SY@LenC}{\z@}% Used to store the length of conclusion +\setlength{\SY@maxPLen}{\z@} % Used to store the available length +\setlength{\SY@LenSepA}{\baselineskip}% V-space before syllogism +\setlength{\SY@LenSepB}{\baselineskip}% V-space after syllogism +\setlength{\SY@HiRule}{.3pt}% `Height' of the rule +% +\setlength{\SY@LenAdjRule}{-1ex}% Adjust height of rule +% \setlength{\SY@DeltaC}{1ex} \setlength{\SY@SpLabel}{1em} \setlength{\SY@Pre}{2em} \setlength{\SY@SpConEG}{2em} -\setlength{\SY@prSkip}{1ex} % \def\SY@PuncPA{;} % Punctuation after first premiss \def\SY@PuncPB{.} % Punctuation after first premiss @@ -71,37 +69,37 @@ % %%%%%%%%%%%%%%%%%%%%%%%%%% Package Options %%%%%%%%%%%%%%%%%%%%%%%%%% \DeclareOption{spanish}{% - \def\SY@Sed{pero\ } % Syncategorematic before second premiss - \def\SY@Ergo{Por lo tanto,\ } % Syncategorematic before conclusion + \def\SY@Sed{pero\ } % Syncategorema before second premiss + \def\SY@Ergo{Por lo tanto,\ } % Syncategorema before conclusion } \DeclareOption{english}{% - \def\SY@Sed{but\ } % Syncategorematic before second premiss - \def\SY@Ergo{Therefore\ } % Syncategorematic before conclusion + \def\SY@Sed{but\ } % Syncategorema before second premiss + \def\SY@Ergo{Therefore\ } % Syncategorema before conclusion } \DeclareOption{latin1}{% - \def\SY@Sed{sed\ } % Syncategorematic before second premiss - \def\SY@Ergo{Ergo\ } % Syncategorematic before conclusion + \def\SY@Sed{sed\ } % Syncategorema before second premiss + \def\SY@Ergo{Ergo\ } % Syncategorema before conclusion } \DeclareOption{latin2}{% - \def\SY@Sed{sed\ } % Syncategorematic before second premiss - \def\SY@Ergo{Igitur\ } % Syncategorematic before conclusion + \def\SY@Sed{sed\ } % Syncategorema before second premiss + \def\SY@Ergo{Igitur\ } % Syncategorema before conclusion } \ExecuteOptions{english}% Default \ProcessOptions* %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Macros %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -\newcommand{\setpresyl}% Command for changing \SY@Pre +\newcommand{\setpresyl}% Command for changing h-space before the label [1]{\setlength{\SY@Pre}{#1}} % -\newcommand{\setsyllabel}% Command for changing \SY@SpLabel +\newcommand{\setsyllabel}% Command for changing h-space after the label [1]{\setlength{\SY@SpLabel}{#1}} % -\newcommand{\setsylrh}% Command for changing \SY@HiRule +\newcommand{\setsylrh}% Command for changing the `height' the the rule [1]{\setlength{\SY@HiRule}{#1}} % -\newcommand{\setsylsepa}% Command for changing \SY@LenSepA +\newcommand{\setsylsepa}% Command for changing v-space before the syl. [1]{\setlength{\SY@LenSepA}{#1}} % -\newcommand{\setsylsepb}% Command for changing \SY@LenSepB +\newcommand{\setsylsepb}% Command changing v-space after the syl. [1]{\setlength{\SY@LenSepB}{#1}} % \newcommand{\setsylsep}% Command for changing BOTH \SY@LenSepA and \SY@LenSepB @@ -127,6 +125,11 @@ \newcommand{\setsylergosign}% [1]{\def\SY@ErgoSign{#1}} % +\newcommand{\@SYRestoreBooleans}{% + \@SYParamfalse + \@SYpCtooWfalse + } + %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Basic syllogism %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \def\syllog{% \@ifnextchar[%] @@ -134,7 +137,7 @@ {\@syllog[]}} \def\@syllog[#1]#2#3#4{% \setlength{\SY@tempindent}{\parindent}% - \setlength{\parindent}{\z@}% + \parindent\z@% % \settowidth{\SY@LenPA}{#2} \settowidth{\SY@LenPB}{#3} @@ -142,7 +145,7 @@ \addtolength{\SY@LenC}{\widthof{\SY@ErgoSign}}% \addtolength{\SY@LenC}{\SY@SpConEG}% % - \if@SYParam% + \if@SYParam% If optional parameter is provided... \setlength{\SY@LenLab}{\widthof{#1}}% \setlength{\SY@LenBefSyl}{\SY@Pre}% \addtolength{\SY@LenBefSyl}{\SY@LenLab}% @@ -153,10 +156,9 @@ % \setlength{\SY@availSpace}{\textwidth-\SY@LenBefSyl} % + % Algorithm to check longest proposition ----------------------------- \ifdim\SY@LenPA>\SY@availSpace% \setlength{\SY@LenPA}{\textwidth-\SY@LenBefSyl}% - \else% - \setlength{\SY@prSkip}{\z@}% \fi \ifdim\SY@LenPB>\SY@availSpace% \setlength{\SY@LenPB}{\textwidth-\SY@LenBefSyl}% @@ -164,35 +166,53 @@ \ifdim\SY@LenC>\SY@availSpace% \setlength{\SY@LenC}{\textwidth-\SY@LenBefSyl}% \fi% - \def\@SYLpropA{\parbox{\SY@LenPA}{#2}}% - \def\@SYLpropB{\parbox{\SY@LenPB}{#3}}% - \def\@SYLpropC{\parbox{\SY@LenC}{#4\hspace{\SY@SpConEG}\SY@ErgoSign}}% % + % Define the propositions ----------------------------------------------- + \def\@SYLpropA{#2}% + \def\@SYLpropB{#3\SY@PuncPB}% + \def\@SYLpropC{#4\hspace{\SY@SpConEG}\SY@ErgoSign}% + % + \if@SYpCtooW + \relax + \else + \addtolength{\SY@LenC}{\SY@DeltaC} + \fi + % Set the rule's length ---------------------------------------------- \setlength{\SY@LenRule}{% \maxof{\maxof{\maxof{\SY@LenPA}{\SY@LenPB}}{\maxof{\SY@LenPA}{\SY@LenC}}}% {\maxof{\SY@LenPB}{\SY@LenC}}% }% % - \par\vspace{\SY@LenSepA}% - \if@SYParam% + % Construction of the Syllogism ---------------------------------------- + \par\vspace{\SY@LenSepA}% V-space before the syllogism + \if@SYParam% Conditional H-space before syllogism \hspace{\SY@Pre}#1\hspace{\SY@SpLabel}% - \else% + \else% \hspace{\SY@Pre}% \fi% - \parbox{\SY@availSpace}% - {% - \@SYLpropA\par% - \vspace{\SY@prSkip}% - \@SYLpropB\par\nointerlineskip% - \vspace{\SY@LenSepRuleA}% - \rule{\SY@LenRule}{\SY@HiRule}\par\nointerlineskip% - \vspace{\SY@LenSepRuleB}% - \@SYLpropC\\% - }% - \par\vspace{\SY@LenSepB}% - \setlength{\parindent}{\SY@tempindent}% + % + \begin{minipage}{\SY@LenRule} + \begin{list}{} + {% + \setlength{\parsep}{\z@} + \setlength{\itemsep}{\z@} + \addtolength{\leftmargin}{-1.5em} + \setlength{\itemindent}{-1ex} + \setlength{\listparindent}{\itemindent} + } + \item \@SYLpropA + \item \@SYLpropB% + \vspace*{\SY@LenAdjRule} + \item \rule{\SY@LenRule}{\SY@HiRule} + \item \@SYLpropC + \end{list} + \end{minipage} + \par\vspace{\SY@LenSepB}% V-space after the syllogism + % + \setlength{\parindent}{\SY@tempindent}% Restore default indent + \@SYRestoreBooleans% Restore booleans }% - +% %%%%%%%%%%%%%%%%%%%%%%%%%% Basic syllogism with counter %%%%%%%%%%%%%%%%%%%%%%%%% \newcommand{\syllogC}[3]{% \syllog[\syl]{#1}{#2}{#3} @@ -205,7 +225,8 @@ {\@SYParamtrue\@syllogTA} {\@syllogTA[]}} \def\@syllogTA[#1]#2#3#4{% - {\parindent\z@ \leftmargin\z@ \rightmargin\z@ + \setlength{\SY@tempindent}{\parindent}% + \parindent\z@% % \settowidth{\SY@LenPA}{#2} \addtolength{\SY@LenPA}{\widthof{\SY@PuncPA}} @@ -218,30 +239,35 @@ \addtolength{\SY@LenC}{\widthof{\SY@ErgoSign}} \addtolength{\SY@LenC}{\SY@SpConEG} % - \if@SYParam - \settowidth{\SY@LenLab}{#1} - \setlength{\SY@LenBefSyl}{\SY@Pre + \SY@LenLab + \SY@SpLabel} - \else - \setlength{\SY@LenBefSyl}{\SY@Pre} - \fi + \if@SYParam% If optional parameter is provided... + \setlength{\SY@LenLab}{\widthof{#1}}% + \setlength{\SY@LenBefSyl}{\SY@Pre}% + \addtolength{\SY@LenBefSyl}{\SY@LenLab}% + \addtolength{\SY@LenBefSyl}{\SY@SpLabel}% + \else% + \setlength{\SY@LenBefSyl}{\SY@Pre}% + \fi% + % % \setlength{\SY@availSpace}{\textwidth} \advance\SY@availSpace -\SY@LenBefSyl \advance\SY@availSpace -1.3ex + % + % Algorithm to check longest proposition ----------------------------- \ifdim\SY@LenPA>\SY@availSpace \setlength{\SY@LenPA}{\textwidth - \SY@LenBefSyl} - \else - \setlength{\SY@prSkip}{\z@} \fi \ifdim\SY@LenPB>\SY@availSpace \setlength{\SY@LenPB}{\textwidth - \SY@LenBefSyl} \fi + % Is the conclusion too wide? ----------------------------------------- \ifdim\SY@LenC>\SY@availSpace \setlength{\SY@LenC}{\SY@availSpace} \@SYpCtooWtrue \else \@SYpCtooWfalse \fi% + % Define the propositions ----------------------------------------------- \def\@SYLpropA{#2\SY@PuncPA} \def\@SYLpropB{\SY@Sed#3\SY@PuncPB} \def\@SYLpropC{\SY@Ergo#4\SY@PuncC\hspace{\SY@SpConEG}\SY@ErgoSign} @@ -252,17 +278,20 @@ \addtolength{\SY@LenC}{\SY@DeltaC} \fi % + % Set the rule's length ---------------------------------------------- \setlength{\SY@LenRule}{% \maxof{\maxof{\maxof{\SY@LenPA}{\SY@LenPB}}{\maxof{\SY@LenPA}{\SY@LenC}}}% {\maxof{\SY@LenPB}{\SY@LenC}}% }% % - \par\vspace{\SY@LenSepA}% - \if@SYParam% + % Construction of the Syllogism ---------------------------------------- + \par\vspace{\SY@LenSepA}% V-space before the syllogism + \if@SYParam% Conditional H-space before syllogism \hspace{\SY@Pre}#1\hspace{\SY@SpLabel}% - \else% + \else% \hspace{\SY@Pre}% \fi% + % \begin{minipage}{\SY@LenRule} \begin{list}{} {% @@ -272,13 +301,21 @@ \setlength{\itemindent}{-1ex} \setlength{\listparindent}{\itemindent} } - \item \@SYLpropA + \item \@SYLpropA% \item \@SYLpropB% - \vspace*{-1ex} - \item \rule{\SY@LenRule}{\SY@HiRule} - \item \@SYLpropC + \vspace*{\SY@LenAdjRule}% + \item \rule{\SY@LenRule}{\SY@HiRule}% + \item \@SYLpropC% \end{list} \end{minipage} - \par\vspace{\SY@LenSepB}% - }%parindent -}% \ No newline at end of file + \par\vspace{\SY@LenSepB}% V-space after the syllogism + % + \setlength{\parindent}{\SY@tempindent}% Restore default indent + \@SYRestoreBooleans% Restore booleans +}% + +%%%%%%%%%%%%%%%%%%%% Syllogism with text added and counter %%%%%%%%%%%%%%%%%%%%% +\newcommand{\syllogTAC}[3]{% + \syllogTA[\syl]{#1}{#2}{#3} + \stepcounter{c:syl}% + }% -- cgit v1.2.3