From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/66578 Path: news.gmane.org!not-for-mail From: S Barmeier Newsgroups: gmane.comp.tex.context Subject: One-off theorem titles Date: Thu, 03 Mar 2011 17:05:20 +0900 Message-ID: <4D6F4BC0.4090106@googlemail.com> References: Reply-To: mailing list for ConTeXt users NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: dough.gmane.org 1299139558 4638 80.91.229.12 (3 Mar 2011 08:05:58 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 3 Mar 2011 08:05:58 +0000 (UTC) To: ntg-context@ntg.nl Original-X-From: ntg-context-bounces@ntg.nl Thu Mar 03 09:05:52 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 1Pv3Xj-0003xY-Vf for gctc-ntg-context-518@m.gmane.org; Thu, 03 Mar 2011 09:05:52 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 27FEFCAA94; Thu, 3 Mar 2011 09:05:51 +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 eGrdjMPSG63y; Thu, 3 Mar 2011 09:05:38 +0100 (CET) Original-Received: from balder.ntg.nl (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 819AFCAA8F; Thu, 3 Mar 2011 09:05:38 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id 560B4CAA8F for ; Thu, 3 Mar 2011 09:05:37 +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 fkur1aRxi+Ns for ; Thu, 3 Mar 2011 09:05:25 +0100 (CET) Original-Received: from filter2-til.mf.surf.net (filter2-til.mf.surf.net [194.171.167.218]) by balder.ntg.nl (Postfix) with ESMTP id 9732ECAA89 for ; Thu, 3 Mar 2011 09:05:25 +0100 (CET) Original-Received: from mail-px0-f169.google.com (mail-px0-f169.google.com [209.85.212.169]) by filter2-til.mf.surf.net (8.14.3/8.14.3/Debian-5+lenny1) with ESMTP id p2385NoT014219 for ; Thu, 3 Mar 2011 09:05:24 +0100 Original-Received: by pxi9 with SMTP id 9so174764pxi.14 for ; Thu, 03 Mar 2011 00:05:23 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:message-id:date:from:user-agent:mime-version:to :subject:references:in-reply-to:content-type :content-transfer-encoding; bh=nqMDL900jJiCT/7RpOjdpgpX1TEsQPuuFd38gwZgCJ0=; b=hiHakKer7oFYj3VG9Fx6PwugmGODi2tPyjxDcagMA6bZAQ31gsWSZ6dSzzPeO+Vcpw uwypo1jmBvX+vZ8VfzamMZUsZ6D3J/RMoxHnCecrUyeFL/8/ig9+GC1Vx6NAX7zID/sC t2nO4B0L74rz1YXzzj14h62Eon0+JNyTztljc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type:content-transfer-encoding; b=CNJjv4gr2M40BTZrInrYQMAq+oBrcnxGxHZf9SuzNPtva/+lGgEkTic1gHhWl7Cpxn fDVQQxEMj+0uDxMnx0aefN098rke1Utrssep3eExmTgA9VxaG1/n9zFG0eTKN7judYiG rxZfBJg2KWMM/s1ODp+F2Do/e7Ws3wDghtc3o= Original-Received: by 10.142.199.13 with SMTP id w13mr655797wff.42.1299139523078; Thu, 03 Mar 2011 00:05:23 -0800 (PST) Original-Received: from [122.212.119.237] (122x212x119x237.ap122.ftth.ucom.ne.jp [122.212.119.237]) by mx.google.com with ESMTPS id p40sm1099957wfc.5.2011.03.03.00.05.21 (version=SSLv3 cipher=OTHER); Thu, 03 Mar 2011 00:05:22 -0800 (PST) User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.13) Gecko/20101208 Thunderbird/3.1.7 In-Reply-To: X-Bayes-Prob: 0.0001 (Score 0, tokens from: @@RPTN) X-CanIt-Geo: ip=209.85.212.169; 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: 0bEew5oCU - c91b58396278 - 20110303 X-Scanned-By: CanIt (www . roaringpenguin . com) on 194.171.167.218 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:66578 Archived-At: Currently I am using something like \defineenumeration[lemma] [location=serried, headstyle=bold, text=Lemma, width=broad, style=italic] to define theorems, lemmas, etc. Sometimes a theorem or lemma will have its own name (e.g. Yoneda Lemma), and I find it slightly cumbersome to write something like 3.1 Theorem (Yoneda Lemma) 3.1 Lemma (Yoneda) 3.1 Lemma (Yoneda Lemma) and was really hoping that \startlemma[text={Yoneda Lemma}] would give me the desired 3.1 Yoneda Lemma but it doesn't. I would like to keep the whole setup the same and only change the text for this instance. Is there any way to implement this except for defining a whole new enumeration for one theorem/lemma/proposition by \startenumeration[text={Yoneda Lemma},location= ... ] Thank you. Severin ___________________________________________________________________________________ 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-context webpage : http://www.pragma-ade.nl / http://tex.aanhet.net archive : http://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________________