4
votes
2answers
174 views

Math-mode overrun in newtheorem

I would like to have a long math-mode "title" in a newtheorem environment: \documentclass[twocolumn]{article} \usepackage{amsthm} \newtheorem{definition}{Definition} \begin{document} ...
0
votes
1answer
85 views

About endmarks in thmtools

If I use the `thmtools´ package I get poorly placed endmarks (it appears on the next line) when ending a proof with a centered mathematical equation. How can I fix this? This is my code: ...
6
votes
1answer
270 views

Automatic upright math when text is in italic

This is in a way a follow-up to this question about upright math. I would like to have upright math (essentially variable names) when I use a theorem-like environment with statement in italic. This ...
7
votes
2answers
92 views

Setting an “attribute” for Theorem to be accessed later

I am writing a math paper with a large number of theorems. I'm looking to have a table summarizing my results, and I'd love it if the table could be generated automatically from my paper. I' looking ...
10
votes
2answers
2k views

Remove the qed symbol of only a proof environment, not everyone else

I have seen several posts on how to remove the qed symbol in a proof, but that affects all proof environments. I would like to know how to remove the qed symbol in a particular proof because I have a ...
0
votes
0answers
42 views

Math mode in theoremstyle head spec [duplicate]

Possible Duplicate: \overline outside of math mode I have three major elements in my LaTeX document; the first one is a new command \theoremhead[1]{\underline{\overline{#1}}} The second ...
13
votes
6answers
3k views

Pushing \qed to the right within a displayed formula

In my own custom theorem environment, I'm using the \qed command to create a white box. This works wonderfully when the theorem ends with a regular paragraph -- the box is pushed to the right where it ...
8
votes
1answer
348 views

How to alternate labels' styles in enumerated lists?

How can I alternate the display of an enumerated list's counter according to which command I've used? E.g., I want \foo{poor Yorick!} to look like (9) poor Yorick! but I want \bar{Joelle} to have a ...
11
votes
1answer
340 views

Which packages/practices are relevant for writing Structured Derivations? (similar to Dijkstra's calculational style of proofs)

Does anyone know of any packages that support this style of writing proofs? The only things that I've found are: tex-ewd, a bunch of plain TeX macros on CTAN written specifically with Dijkstra in ...
7
votes
1answer
905 views

\textbf inside a lemma

I have defined lemma and use it as follows: \newtheorem{theorem}{Theorem}[section] \newtheorem{lemma}[theorem]{Lemma} ... \begin{lemma} abc_\textbf{indice} \end{lemma} It turns out that the indice ...
3
votes
1answer
372 views

Problem with solution to ntheorem and bad boxes; involves \newtheoremstyle

I'm using the ntheorem package to display endmarks on my examples/defns, etc. The problem is that it creates lots of bad boxes when the titles on theorems etc. are too long. I found a solution ...
11
votes
2answers
2k views

Italic in theorem environment

Consider the following theorem: \begin{theorem} If $x=0$, then $xy$ is equal to 0. \end{theorem} The first "0" will be typeset in upright typeface and the second one in italic. Including amsthm ...