I need to write some mathematical induction using LaTeX. Are there any packages that I can use for that purpose?

enter image description here


I think this is a work for the alignat. Some comments about the code:

  • The package enumitem provides the label key which I have used to modify the label for the inner itemize environment.

  • I have manually added some space (v. \medskip in the code) so that the output resembles the scan copy.

    \documentclass{amsart} % http://www.ctan.org/pkg/amsart
    \usepackage{enumitem}  % http://www.ctan.org/pkg/enumitem
    \item \emph{Induction Principle}: The formula $\phi$ may be derived by proving the formula \medskip
    \begin{itemize}[label=$\lozenge$, itemsep=2ex]
    \item \emph{Base Case}:
    \[\texttt{(implies (and (not }q_1 \texttt{)} \dots \texttt{(not }q_k\texttt{)) }\phi\texttt{)}\]
    \item \emph{Induction Step(s)}: For each $1 \leq i \leq n$,   
    \texttt{(implies} &\quad&&\texttt{(and} &\quad& &&q_i \\
                      &&     &              &&      &&\phi/\sigma_{i,1}\\
                      &&     &              &&      &&\dots\\
                      &&     &              &&      &&\phi/\sigma_{i,k_i}\texttt{)} \\
                      &&     &\phi\texttt{)}
    provided that for terms $m, q_1, \dots, q_k$, and substitutions $\sigma_{i,j}$ ($1 \leq i \leq h_i$), the following measure conjectures are theorems.
    \item \texttt{(EO-ORDINALP} $m$\texttt{)}
    \item For each $1 \leq i \leq k$ and for $1 \leq j \leq h_i$, 
    \[\texttt{(IMPLIES } q_i \texttt{ (EO-ORD-< } m/\sigma_{i,j} \quad m \texttt{))}\]


Thanks to egreg who has kindly gifted me these and agreed not to steal my green tick, I have learnt atleast two different ways of doing this:

  • a quick reference for tabbing could be this one.

  • There is one other important fact that he told me here: If a minipage contains only a tabbing environment, the minimum of width of the tabbing environment and the specified width would be the width of the minipage.

The Code Snippets

\[ % works without \[ and \] as well.
\texttt{(implies}\quad\= \texttt{(and}\quad\= $q_i$ \\
                      \>                   \> $\phi/\sigma_{i,1}$\\
                      \>                   \> \dots\\
                      \>                   \>  $\phi/\sigma_{i,k_i}$\texttt{)} \\
                      \> $\phi$\texttt{)}

\[ % works without \[ and \] as well.
(implies\quad\= (and\quad\= $q_i$ \\
             \>          \> $\phi/\sigma_{i,1}$\\
             \>          \> \dots\\
             \>          \>  $\phi/\sigma_{i,k_i}$) \\
             \> $\phi$)

Please note that, I have added the comment:

 % works without \[ and \] as well. 

to bring to the fore that, you may therefore align this to the left, as in the scan by dropping the \[...\].


What I do is just to use a description environment, with Base: and Induction: labels.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.