From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/66579 Path: news.gmane.org!not-for-mail From: Otared Kavian Newsgroups: gmane.comp.tex.context Subject: Re: One-off theorem titles Date: Thu, 3 Mar 2011 09:43:22 +0100 Message-ID: References: <4D6F4BC0.4090106@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: multipart/mixed; boundary="===============1318724902==" X-Trace: dough.gmane.org 1299141849 16366 80.91.229.12 (3 Mar 2011 08:44:09 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 3 Mar 2011 08:44:09 +0000 (UTC) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Thu Mar 03 09:44:05 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 1Pv48h-0002HE-CH for gctc-ntg-context-518@m.gmane.org; Thu, 03 Mar 2011 09:44:03 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id A2031CAAA1; Thu, 3 Mar 2011 09:44:02 +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 40-ubPvcvfCq; Thu, 3 Mar 2011 09:43:49 +0100 (CET) Original-Received: from balder.ntg.nl (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id AF374CAA91; Thu, 3 Mar 2011 09:43:49 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by balder.ntg.nl (Postfix) with ESMTP id A872BCAA91 for ; Thu, 3 Mar 2011 09:43:47 +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 aAWTmQMaAK7R for ; Thu, 3 Mar 2011 09:43:26 +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 B8F0BCAA89 for ; Thu, 3 Mar 2011 09:43:26 +0100 (CET) Original-Received: from mail-ww0-f45.google.com (mail-ww0-f45.google.com [74.125.82.45]) by filter2-til.mf.surf.net (8.14.3/8.14.3/Debian-5+lenny1) with ESMTP id p238hPrX007802 for ; Thu, 3 Mar 2011 09:43:26 +0100 Original-Received: by wwa36 with SMTP id 36so896663wwa.2 for ; Thu, 03 Mar 2011 00:43:25 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:from:mime-version:content-type:subject:date :in-reply-to:to:references:message-id:x-mailer; bh=ewYFpbiB1QNSN1kV9zgMbz/DfNY5oNDrJvUNzgooqQ0=; b=t0jdzwcA8eUJ/4/ji+i4SuSM7fGUjMMSwX7k1p9tbZNFBFN/exxuwer6Jz/q/GtsHo 3408w4fo+aSxhNxtn3ACA7Q2AgBD7N2Qgv3fz2QhOphDi7bBSr8lXw/s6aKP1xvgp8JC SBkveWtHIcarqtTjnq2YV2C2Ogbn7bkHjbSNs= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=from:mime-version:content-type:subject:date:in-reply-to:to :references:message-id:x-mailer; b=Oj4W6dQp3JoPCIJiw/lA04sCxWkzpd6H5Iu1gIzhPVtVI6vsBXMnw/M082Eab1MMhI RAy16zGL/RoVculV1MyaXi4Nc3w+3aPELWOswT5efBTPEnBkQKGkDHGNrwdyNQ74p3/e YFSLyuTpSf0KO1fXyEvBi11jps2waSqc21Uhk= Original-Received: by 10.227.150.30 with SMTP id w30mr673691wbv.39.1299141805399; Thu, 03 Mar 2011 00:43:25 -0800 (PST) Original-Received: from [192.168.0.10] (mna75-3-82-66-231-76.fbx.proxad.net [82.66.231.76]) by mx.google.com with ESMTPS id n11sm447118wej.19.2011.03.03.00.43.23 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 03 Mar 2011 00:43:24 -0800 (PST) In-Reply-To: <4D6F4BC0.4090106@googlemail.com> X-Mailer: Apple Mail (2.1082) X-Bayes-Prob: 0.0001 (Score 0, tokens from: @@RPTN) X-CanIt-Geo: ip=74.125.82.45; 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: 0bEewHpBw - 3a8a24aa5ba7 - 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:66579 Archived-At: --===============1318724902== Content-Type: multipart/alternative; boundary=Apple-Mail-7-859538817 --Apple-Mail-7-859538817 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 Hi Severin, 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=20 \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 On 3 mars 2011, at 09:05, S Barmeier wrote: > Currently I am using something like >=20 > \defineenumeration[lemma] > [location=3Dserried, > headstyle=3Dbold, > text=3DLemma, > width=3Dbroad, > style=3Ditalic] >=20 > to define theorems, lemmas, etc. >=20 > Sometimes a theorem or lemma will have its own name (e.g. Yoneda = Lemma), > and I find it slightly cumbersome to write something like >=20 > 3.1 Theorem (Yoneda Lemma) > 3.1 Lemma (Yoneda) > 3.1 Lemma (Yoneda Lemma) >=20 > and was really hoping that >=20 > \startlemma[text=3D{Yoneda Lemma}] >=20 > would give me the desired >=20 > 3.1 Yoneda Lemma >=20 > 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 >=20 > \startenumeration[text=3D{Yoneda Lemma},location=3D ... ] >=20 > Thank you. > Severin >=20 >=20 > = __________________________________________________________________________= _________ > If your question is of interest to others as well, please add an entry = to the Wiki! >=20 > 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 > = __________________________________________________________________________= _________ %%%%%%%%%%%%%%%%%% Otared Kavian D=E9partement de Math=E9matiques Universit=E9 de Versailles Saint-Quentin B=E2timent Fermat 45 avenue des Etats Unis 78035 Versailles cedex T=E9l=E9phone: +33 1 39 25 46 42 Secr=E9tariat: +33 1 39 25 46 44=20 Secr=E9tariat: +33 1 39 25 46 46 e-mail: Otared.Kavian@math.uvsq.fr --Apple-Mail-7-859538817 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=iso-8859-1 Hi = Severin,

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,numb= ersection=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

\st= artremark{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{Rema= rk}
The above theorem and this remark are numbered = sequentially.
\stopremark

\stoptext
%%%%% end

Best regards: = OK

On 3 mars 2011, at 09:05, S Barmeier = wrote:

Currently I am using something = like

\defineenumeration[lemma]
=   [location=3Dserried,
=    headstyle=3Dbold,
=    text=3DLemma,
   width=3Dbroad,
=    style=3Ditalic]

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=3D{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=3D{Yoneda Lemma},location=3D ... = ]

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.sup= elec.fr/projects/contextrev/
wiki     : http://contextgarden.net
________= __________________________________________________________________________= _

Otared.Kavian@math.uvsq.fr<= /div>




= --Apple-Mail-7-859538817-- --===============1318724902== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline ___________________________________________________________________________________ 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 ___________________________________________________________________________________ --===============1318724902==--