Tagged Questions

6
votes
1answer
83 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
65 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 ...
9
votes
2answers
499 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
40 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 ...
8
votes
5answers
947 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 ...
7
votes
1answer
213 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 ...
8
votes
1answer
230 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
571 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
288 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 ...
9
votes
1answer
1k 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 ...