<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Hi All,<div><br></div><div>I'm using TeXShop 2.43 with Snow Leopard 10.6.8. This message was written with RTF is effect because it is useful to be able to distinguish between various fonts.</div><div><br></div><div>For the examples below, I have the following in my preamble:</div><div><div>\documentclass [11pt, fleqn, leqno] {book}</div><div>\usepackage{amssymb}<span class="Apple-tab-span" style="white-space:pre"> </span>% allows AMS symbols</div><div>\usepackage{latexsym}<span class="Apple-tab-span" style="white-space:pre"> </span>% allows LaTeX symbols</div><div>\usepackage{amsfonts}<span class="Apple-tab-span" style="white-space:pre"> </span>% allows AMS fonts</div><div>\usepackage{amsmath}</div><div>\usepackage[amsthm, thmmarks, thref]{ntheorem}</div></div><div><br><div><b>INHERITANCE:</b></div><div><br></div><div><b>PECULIAR EFFECT OF</b> \theoremstyle{plain} ???</div><div><br></div><div>In reading the May & Schedler manual for the n-th time, I was able to further confuse my expectations concerning `inheritance'. On page 15 they write:</div><div><br></div><div><span class="Apple-tab-span" style="white-space:pre"> </span>'Note, that parts of the setting are inherited. For instance, the fonts are not reset before defining “Lemma”, </div><div><span class="Apple-tab-span" style="white-space:pre"> </span>so the font setting of “Theorem” is used.'</div><div><br></div><div>From the above I concluded that 'inheritance' would apply to all command lines that precede, hence modify, a line like</div><div><br></div><div>\newtheorem{<structure name>}{<structure title>}<span class="Apple-tab-span" style="white-space:pre"> </span>% simplest form</div><div><br></div><div>unless countermanded by another command line; i.e., if \theoremstyly{plain} were in effect then it could be countermanded by \theoremstyle{break} which would continue until countermanded by \theoremstyle{<some other parameter>}, . . .</div><div><br></div><div>So consider the preamble lines:</div><div><br></div><div><div>(1)<span class="Apple-tab-span" style="white-space: pre; "> </span>\theoremstyle{plain}</div><div>(2)<span class="Apple-tab-span" style="white-space: pre; "> </span>\theorembodyfont{\normalfont}</div><div>(3)<span class="Apple-tab-span" style="white-space: pre; "> </span>\newtheorem{thm}{Theorem}[chapter]</div><div>(4)<span class="Apple-tab-span" style="white-space: pre; "> \newtheorem{</span>le<span class="Apple-tab-span" style="white-space: pre; ">m}</span>[thm]<span class="Apple-tab-span" style="white-space: pre; ">{</span>LEMMA<span class="Apple-tab-span" style="white-space: pre; ">}</span></div></div><div><br></div><div>The numbers are not part of the code. So lines (1) and (2) both apply to lines (3) and (4), according to my inheritance interpretation. Not so! Consider the small chunk of source code:</div><div><br></div><div>=====</div><div><div>% Source code Ex. A</div><div>\begin{lem} [Lemma Identifier]</div><div>Body of the lemma begins here \dots.</div><div>\end{lem}</div><div>and</div><div><br></div><div><div>\begin{thm} [Theorem Identifier]</div><div>Body of the theorem begins here \dots.</div><div>\end{thm}</div></div></div><div>=====</div><div><br></div><div>On typesetting, the body text for both <b>LEMMA 1.1</b> and <b>Theorem 1.2 </b>is set in italic! So the line (2) was not effective. </div><div>Consider now a small variation of the preamble:</div><div><br></div><div>(1)<span class="Apple-tab-span" style="white-space:pre"> </span>\theoremstyle{plain}<br>(2)<span class="Apple-tab-span" style="white-space:pre"> </span>\theorembodyfont{\normalfont}<br>(3)<span class="Apple-tab-span" style="white-space:pre"> </span>\newtheorem{thm}{Theorem}[chapter]</div><div>(4a)<span class="Apple-tab-span" style="white-space:pre"> </span>\theoremseparator{+}<br>(5a)<span class="Apple-tab-span" style="white-space:pre"> </span>\newtheorem{lem}[thm]{LEMMA}</div><div><br></div><div>The idea behind line (4a) is to replace that damn period character that will follow an optional ID or header and replace it by the equally annoying + character, at least for lemmas. It does not work! On typesetting the code in Ex. A above, the preview page does not change from</div><div><br></div><div>=====</div><div><b>LEMMA 1.1 (Lemma Identifier).</b> <i>Body of the lemma begins here ....</i></div><div><br></div><div>and</div><div><br></div><div><b>Theorem 1.2 (Theorem Identifier).</b> <i>Body of the theorem begins here ....</i></div><div>===== </div><div><br></div><div>However, if the following small change is made in the preamble code:</div><div><br></div><div><div>(1)<span class="Apple-tab-span" style="white-space: pre; "> </span>\theoremstyle{plain}<br>(2)<span class="Apple-tab-span" style="white-space: pre; "> </span>\theorembodyfont{\normalfont}<br>(3)<span class="Apple-tab-span" style="white-space: pre; "> </span>\newtheorem{thm}{Theorem}[chapter]</div><div>(4b)<span class="Apple-tab-span" style="white-space: pre; "> </span>\theoremstyle{change}<br>(5b)<span class="Apple-tab-span" style="white-space: pre; "> </span>\theoremseparator{+}<br>(6b)<span class="Apple-tab-span" style="white-space: pre; "> </span>\newtheorem{lem}[thm]{LEMMA}</div></div><div><br></div><div>then on typesetting Ex. A above we obtain a miracle, something like</div><div><br></div><div><div>=====</div><div><b>LEMMA 1.1 (Lemma Identifier)+</b> Body of the lemma begins here ....</div><div><br></div><div>and</div><div><br></div><div><b>Theorem 1.2 (Theorem Identifier).</b> <i>Body of the theorem begins here ....</i></div><div>===== </div></div><div><br></div><div>Now \theorembodyfont{\normalfont} is effective with respect to 'lem' but not relative 'thm'. I guess my question is:</div><div><br></div><div>Is that how ntheorem is supposed to work?</div><div><br></div><div><br></div><div><b>NON-INHERITANCE OF</b> \theoremprework <b>COMMAND:</b></div><div><br></div><div>Essentially, the same kind of stuff as above. Starting with the preamble lines</div><div><br></div><div>(1c)<span class="Apple-tab-span" style="white-space:pre"> </span>\theoremstyle{changebreak}<br>(2c)<span class="Apple-tab-span" style="white-space:pre"> </span>\theorembodyfont{\normalfont}</div><div>(3c)<span class="Apple-tab-span" style="white-space:pre"> </span>% \theoremprework{$\diamonsuit$\rule{1cm}{7pt}$\diamonsuit$}<br>(4c)<span class="Apple-tab-span" style="white-space:pre"> </span>\newtheorem{thm}{Theorem}[chapter]</div><div>(5c)<span class="Apple-tab-span" style="white-space:pre"> \newtheorem{lem}[thm]{LEMMA}</span></div><div><br></div><div>the source code in Ex. A typesets as:</div><div><br></div><div><div>=====</div><div><b>1.1 LEMMA (Lemma Identifier)</b></div><div>Body of the lemma begins here ....</div><div><br></div><div>and</div><div><br></div><div><b>1.2 Theorem (Theorem Identifier)</b></div><div>Body of the theorem begins here ....</div><div>=====</div></div><div><br></div><div>and \theorembodyfont{\normalfont} applies to both 'lem' and 'thm'!! Now, uncomment (3c) and typesetting reveals:</div><div><br></div><div><div><div>=====</div><div><b>1.1 LEMMA (Lemma Identifier)</b></div><div>Body of the lemma begins here ....</div><div><br></div><div>and</div><div> <spectacular graphic></div><div><b>1.2 Theorem (Theorem Identifier)</b></div><div>Body of the theorem begins here ....</div><div>=====</div></div></div><div><br></div><div>where</div><div><br></div><div><span class="Apple-tab-span" style="white-space:pre"> </span><spectacular graphic> = graphic form of code $\diamondsuit$\rule{1cm}{7pt}$\diamondsuit$</div><div><br></div><div>Notice that <spectacular graphic> has not decorated <b>1.1 LEMMA</b>. In order to get <spectacular graphic> to appear above</div><div> <b>1.1 LEMMA</b>, I had to change the preamble code to</div><div><br></div><div><div>(1c)<span class="Apple-tab-span" style="white-space: pre; "> </span>\theoremstyle{changebreak}<br>(2c)<span class="Apple-tab-span" style="white-space: pre; "> </span>\theorembodyfont{\normalfont}</div><div>(3d)<span class="Apple-tab-span" style="white-space: pre; "> </span>\theoremprework{$\diamonsuit$\rule{1cm}{7pt}$\diamonsuit$}<br>(4d)<span class="Apple-tab-span" style="white-space: pre; "> </span>\newtheorem{thm}{Theorem}[chapter]</div><div>(5d)<span class="Apple-tab-span" style="white-space: pre; "> </span>\theoremprework{$\diamonsuit$\rule{1cm}{7pt}$\diamonsuit$}</div><div>(6d)<span class="Apple-tab-span" style="white-space: pre; "> \newtheorem{lem}[thm]{LEMMA}</span></div></div><div><br></div><div>and so forth. I don't see a general rule relating to this inheritance business.</div><div><br></div><div><br></div><div><b>A WISH:</b></div><div><br></div><div>I would like to be able to concoct theorem-like structures which would have the form (on the preview page in chapter 2)</div><div><br></div><div><b>Theorem 2.1 (von Neumann's Trick)</b></div><div>Body text begins on the line below the header line without \theoremstyle{break} active.</div><div><br></div><div>NOTICE that the part <<b>(von Neumann's Trick)</b>> is NOT followed by the period character -- Glory Be! Also, in order that</div><div><br></div><div>"Body text begins on the line below the header line without \theoremstyle{break} active." </div><div><br></div><div>be achieved, I would encode the above with something like</div><div><br></div><div>\begin{thm} [von Neumann's Trick]\ <a href="smb://[3pt]">\\[3pt]</a></div><div>Body text begins on the line below the header line without \verb#\theoremstyle{break}# active.</div><div>\end{thm}</div><div><br></div><div>I.E., the desired general form is:</div><div><br></div><div><header title> <header number> (<optional ID>) <nobreak> <body text></div><div><br></div><div>The part <nobreak> is just a wish not a reality. In order to get <header title> and <header number> in the desired order, it seems that I must use \theoremstyle{plain} since the other parameters to \theoremstyle</div><div><br></div><div><span class="Apple-tab-span" style="white-space:pre"> change, changebreak, margin, marginbreak</span></div><div><br></div><div>invoke the order <header number> <header title> and the other options</div><div><br></div><div><span class="Apple-tab-span" style="white-space:pre"> nonumberplain, nonumberbreak, empty</span></div><div><br></div><div>are of no use; and finally, I DON'T want to use 'break' since I want to control where the first line of the 'thm' begins, manually, as shown in the coding example.</div><div><br></div><div>Another wish would be some device to avoid the parenthetical pair (. . .) in optional IDs. </div><div><span class="Apple-tab-span" style="white-space:pre"> </span></div><div>Sorry, all the details, but it is the details that have been bugging me.</div><div><br></div><div><br><div apple-content-edited="true">Don Green Dragon<br><a href="mailto:fergdc@Shaw.ca">fergdc@Shaw.ca</a><br><br><br></div><div><br class="webkit-block-placeholder"></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><br></div></div></body></html>