Skip to main content

Questions tagged [proofs]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
1 answer
32 views

Trouble aligning series of equations using {align*} or {IEEEeqnarray*}

I am trying to align a series of inequalites/equalities in a proof using induction, using either {align*} or {IEEEeqnarray*}. I've followed the examples I've been able to find to the best of my ...
Mark's user avatar
  • 13
1 vote
1 answer
42 views

How would you change the qed box icon to just QED for a proof?

I'm new to LaTeX and was doing a simple proof: \begin{proof} \begin{align*} ***arbitrary proof \end{align*} \end{proof} when I recompile, I get the \qed box in the bottom right. What can I do to ...
lambdaserb's user avatar
0 votes
1 answer
154 views

How to customize the numbering in fitch.sty natural deduction proofs?

I'm using the fitch.sty package for natural deduction proofs, but I'd like to add a period after the line number, e.g., 1. versus "1". I looked into the documentation but found nothing that ...
TheProgrammer's user avatar
0 votes
1 answer
74 views

Using the new enumerate environment as desired in the new proof environment

First an MWE and its output are as follows: \documentclass{article} \setlength{\parskip}{0.3\baselineskip} \usepackage{lipsum} \usepackage{amsthm} \makeatletter \renewenvironment{proof}[1][\proofname]...
M. Logic's user avatar
  • 4,333
2 votes
2 answers
83 views

How to define a proof environment as in the picture?

First an MWS is as follows: \documentclass{article} \usepackage{lipsum} \usepackage{amsthm} \begin{document} \begin{proof} \lipsum[1] \end{proof} \end{document} What I want is as in the picture: ...
M. Logic's user avatar
  • 4,333
1 vote
1 answer
127 views

\qedhere behavior in different environments

I am making use of \qedhere in proof environments in order to avoid extra space when the proof ends in an equation. I am wondering about why it behaves differently in different environments. ...
hexcoffee's user avatar
0 votes
2 answers
669 views

How do I create a new environment like proof in amsthm package which reads as 'solution' instead of 'proof'?

Using the \newtheorem command, I know how to create similar type of environments like 'Examples', 'Remarks', 'Lemma' etc. in class notes. For Theorems, we use \begin{proof} ......... \end{proof} to ...
Dr. Sundar's user avatar
6 votes
1 answer
367 views

Vertical arrow over a whole proof

Does anyone know how to draw a vertical arrow over a whole proof to demonstrate that the proof goes from the bottom to the top? My MWE is here: \documentclass{article} \usepackage[T1]{fontenc} \...
JoudaBouda's user avatar