From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/66589 Path: news.gmane.org!not-for-mail From: Otared Kavian Newsgroups: gmane.comp.tex.context Subject: Re: One-off theorem titles & numberstyle Date: Thu, 3 Mar 2011 14:48:03 +0100 Message-ID: References: <4D6F65D2.4030801@googlemail.com> Reply-To: mailing list for ConTeXt users NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v1082) Content-Type: text/plain; charset="windows-1252" Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1299160134 17435 80.91.229.12 (3 Mar 2011 13:48:54 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 3 Mar 2011 13:48:54 +0000 (UTC) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Thu Mar 03 14:48:47 2011 Return-path: Envelope-to: gctc-ntg-context-518@m.gmane.org Original-Received: from balder.ntg.nl ([195.12.62.10]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Pv8tT-0005sp-9a for gctc-ntg-context-518@m.gmane.org; Thu, 03 Mar 2011 14:48:39 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id C0C5BCAAAC; Thu, 3 Mar 2011 14:48:38 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at balder.ntg.nl Original-Received: from balder.ntg.nl ([127.0.0.1]) by localhost (balder.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with LMTP id mdneOZD6W3Ln; Thu, 3 Mar 2011 14:48:24 +0100 (CET) Original-Received: from balder.ntg.nl (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id EA56CCAA9E; Thu, 3 Mar 2011 14:48:23 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 5851ACAA9E for ; Thu, 3 Mar 2011 14:48:23 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at balder.ntg.nl Original-Received: from balder.ntg.nl ([127.0.0.1]) by localhost (balder.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with LMTP id jUuCJuPU88VR for ; Thu, 3 Mar 2011 14:48:11 +0100 (CET) Original-Received: from filter2-nij.mf.surf.net (filter2-nij.mf.surf.net [195.169.124.153]) by balder.ntg.nl (Postfix) with ESMTP id DF6E9CAA98 for ; Thu, 3 Mar 2011 14:48:11 +0100 (CET) Original-Received: from mail-bw0-f41.google.com (mail-bw0-f41.google.com [209.85.214.41]) by filter2-nij.mf.surf.net (8.14.3/8.14.3/Debian-5+lenny1) with ESMTP id p23DKPlY001791 for ; Thu, 3 Mar 2011 14:20:27 +0100 Original-Received: by bwz17 with SMTP id 17so1534880bwz.14 for ; Thu, 03 Mar 2011 05:48:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:content-type:mime-version:subject:from :in-reply-to:date:content-transfer-encoding:message-id:references:to :x-mailer; bh=VKvhoEI2q1Ab5TZvMKSPesHJhpbR2T9yTPlAyxzmVk0=; b=PJUgr5pEmKG4mLcIhVG6NkKpUNzVUAkg0lFsddVUUFckZy8TXkJTpQculxur76JVIs rDwUcos8JtMUooONgS7LmPm+moyHdrHGAfAe1Bp1YSnfSeUvK2EmUyJU+42UzSnczpKH luwWft6KKgptf2qLgp1ex2Gsq39h7fbudinDU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=content-type:mime-version:subject:from:in-reply-to:date :content-transfer-encoding:message-id:references:to:x-mailer; b=CyP/m5rYXfGUsjOu10wdOfLzt53MEHH4hyYS081tsYEZgUcuJwuFerLk73j4WU4G52 3xMsjq/brpIJWkTFRpZ4OxnI7RZiRuHDowXt3RgMMQ6Gy4JXl4hkDubirGvfuRg2ZpXR IOJMq10qIH1ANkm9NNtmwbbb6WtlqBk/jzc7w= Original-Received: by 10.204.14.6 with SMTP id e6mr1481437bka.9.1299160086813; Thu, 03 Mar 2011 05:48:06 -0800 (PST) Original-Received: from [193.51.32.246] ([193.51.32.246]) by mx.google.com with ESMTPS id b16sm766533bkw.2.2011.03.03.05.48.04 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 03 Mar 2011 05:48:05 -0800 (PST) In-Reply-To: <4D6F65D2.4030801@googlemail.com> X-Mailer: Apple Mail (2.1082) X-Bayes-Prob: 0.0001 (Score 0, tokens from: @@RPTN) X-CanIt-Geo: ip=209.85.214.41; country=US; region=CA; city=Mountain View; postalcode=94043; latitude=37.4192; longitude=-122.0574; metrocode=807; areacode=650; http://maps.google.com/maps?q=37.4192,-122.0574&z=6 X-CanItPRO-Stream: uu:ntg-context@ntg.nl (inherits from uu:default, base:default) X-Canit-Stats-ID: 0aEeBkpPw - 6a43cafa054d - 20110303 X-Scanned-By: CanIt (www . roaringpenguin . com) on 195.169.124.153 X-BeenThere: ntg-context@ntg.nl X-Mailman-Version: 2.1.12 Precedence: list List-Id: mailing list for ConTeXt users List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: ntg-context-bounces@ntg.nl Errors-To: ntg-context-bounces@ntg.nl Xref: news.gmane.org gmane.comp.tex.context:66589 Archived-At: Hi Severin, Actually if you are using mkiv, the definitions I sent this morning should = be slightly changed: perhaps the following suits your needs (however I don'= t know how to change the style of the numbers=85). %%%%%%%%% begin %!TEX TS-program =3D mkiv %% defining \proclaim which is built in Plain-teX %% but has disappeared from ConTeXt %% the following is adapted for mkiv \defineenumeration[theorem] \setupenumerations[theorem] [text=3DTheorem, style=3Dsc, % or slanted title=3Dyes, titleleft=3D, titleright=3D{.}, location=3Dserried, width=3Dfit, right=3D{.}, prefix=3Dyes, way=3Dbysection, ] %% defining \remark numbered with the same counter as \proclaim \defineenumeration[proclaim][theorem] % clone proclaim \setupenumerations[proclaim] [text=3D, style=3Dslanted, title=3Dyes, titleright=3D{.}, location=3Dserried, width=3Dfit, right=3D{.}] %% end definition \remark \starttext \input knuth.tex \startproclaim[lem:Yoneda]{Yoneda Theorem} This is a theorem in set category theory. \stopproclaim \starttheorem = The above theorem and this one are numbered sequentially. \stoptheorem \section{A new section} \input knuth.tex \startproclaim[lem:Yoneda]{Yoneda Theorem} As said above, this is a theorem in set category theory. \stopproclaim \starttheorem = The above theorem and this one are numbered sequentially. \stoptheorem \stoptext %%%%%%%%%%% end Best regards: OK On 3 mars 2011, at 10:56, S Barmeier wrote: > Thank you for the quick reply, it is getting quite close. I guess the > trick is to define an enumeration for one-off use and use "title=3D" to > fake "text=3D". The only problem is that the number sits between text and > title. So to still be able to use \starttheorem alongside > \startproclaim{Theorem}, I would need to know how to either place the > number after the "title" or how to place it before the "text". > I'd be interested in knowing how to do both. > = > Also, I have problem with the numbering mechanism and the > numberstyle/textstyle/etc. > = > \defineenumeration[theorem] > [text=3DTheorem, > numberstyle=3Dnormal, > headstyle=3Dbold, > textstyle=3Dcaps, > number=3Dyes] > \defineenumeration[proclaim] > [text=3D, > number=3Dtheorem, > headstyle=3Dbold, > title=3Dyes, > titleleft=3D, > titleright=3D] > \starttext > = > \starttheorem > Abc > \stoptheorem > = > \startproclaim{Special Theorem} > Def > \stopproclaim > = > \stoptext > = > This gives as is no number for \startproclaim{Special Theorem}, although > I asked for number=3Dtheorem. Also, the numberstyle of \starttheorem is > not normal, but bold, and adding textstyle=3Dnormal/caps/etc. seems to > have no effect either. > = > Best, > Severin > = > = > = > = > On 03/03/2011 05:43 PM, ntg-context-request@ntg.nl wrote: >> Maybe this is what you want: >> %%%%% begin >> %% defining \proclaim which is built in Plain-teX >> %% but has disappeared from ConTeXt >> \defineenumeration[proclaim] >> [text=3D, >> style=3Dslanted, >> title=3Dyes, >> titleleft=3D, >> titleright=3D, >> location=3Dserried, >> width=3Dfit, >> right=3D{.~}] >> \setupnumber[proclaim][way=3Dbysection,numbersection=3Dyes] >> %% end definition \proclaim >> = >> %% defining \remark = >> \defineenumeration[remark] >> [text=3D, >> style=3Drm, >> title=3Dyes, >> titleleft=3D, >> titleright=3D, >> location=3Dserried, >> width=3Dfit, >> right=3D{.~}] >> \setupnumber[remark][number=3Dproclaim] >> %% end definition \remark >> = >> \starttext >> \input knuth.tex >> = >> \startproclaim[lem:Yoneda]{Yanada Theorem} >> This is a theorem in set category theory. >> \stopproclaim >> = >> \startremark{Remark} >> The above theorem and this remark are numbered sequentially. >> \stopremark >> = >> \section{A new section} >> = >> \input knuth.tex >> = >> \startproclaim[lem:Yoneda2]{Yanada Theorem} >> As said above, this is a theorem in set category theory. >> \stopproclaim >> = >> \startremark{Remark} >> The above theorem and this remark are numbered sequentially. >> \stopremark >> = >> \stoptext >> %%%%% end >> = >> Best regards: OK > = > _________________________________________________________________________= __________ > If your question is of interest to others as well, please add an entry to= the Wiki! > = > maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-co= ntext > webpage : http://www.pragma-ade.nl / http://tex.aanhet.net > archive : http://foundry.supelec.fr/projects/contextrev/ > wiki : http://contextgarden.net > _________________________________________________________________________= __________ ___________________________________________________________________________= ________ If your question is of interest to others as well, please add an entry to t= he Wiki! maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-cont= ext webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________= ________