From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/50905 Path: news.gmane.org!not-for-mail From: Otared Kavian Newsgroups: gmane.comp.tex.context Subject: Re: Theorems with arguments like amsthm Date: Fri, 29 May 2009 22:05:10 +0200 Message-ID: <38A1AD1E-D789-4824-86F4-FD3740DEBDA1@gmail.com> References: <4A202390.6050602@telefonica.net> <4A203BE0.5040208@telefonica.net> <4A203D14.90006@telefonica.net> Reply-To: mailing list for ConTeXt users NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v935.3) Content-Type: text/plain; charset="windows-1252"; Format="flowed"; DelSp="yes" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1243627574 2756 80.91.229.12 (29 May 2009 20:06:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 29 May 2009 20:06:14 +0000 (UTC) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Fri May 29 22:06:11 2009 Return-path: Envelope-to: gctc-ntg-context-518@m.gmane.org Original-Received: from ronja.vet.uu.nl ([131.211.172.88] helo=ronja.ntg.nl) by lo.gmane.org with esmtp (Exim 4.50) id 1MA8LC-0004f5-Qr for gctc-ntg-context-518@m.gmane.org; Fri, 29 May 2009 22:06:10 +0200 Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id 579071FE87; Fri, 29 May 2009 22:06:10 +0200 (CEST) Original-Received: from ronja.ntg.nl ([127.0.0.1]) by localhost (smtp.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 25800-04; Fri, 29 May 2009 22:05:26 +0200 (CEST) Original-Received: from ronja.vet.uu.nl (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id DAF0C1FE0D; Fri, 29 May 2009 22:05:25 +0200 (CEST) Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id EEDF41FE0D for ; Fri, 29 May 2009 22:05:23 +0200 (CEST) Original-Received: from ronja.ntg.nl ([127.0.0.1]) by localhost (smtp.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 31362-03-3 for ; Fri, 29 May 2009 22:05:14 +0200 (CEST) Original-Received: from filter4-til.mf.surf.net (filter4-til.mf.surf.net [194.171.167.220]) by ronja.ntg.nl (Postfix) with ESMTP id B9E4A1FD91 for ; Fri, 29 May 2009 22:05:14 +0200 (CEST) Original-Received: from mail-ew0-f228.google.com (mail-ew0-f228.google.com [209.85.219.228]) by filter4-til.mf.surf.net (8.13.8/8.13.8/Debian-3) with ESMTP id n4TK5DKA023653 for ; Fri, 29 May 2009 22:05:14 +0200 Original-Received: by ewy28 with SMTP id 28so6612443ewy.2 for ; Fri, 29 May 2009 13:05:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:from:to :in-reply-to:content-type:content-transfer-encoding:mime-version :subject:date:references:x-mailer; bh=A5I8xpSokbTLDLFGpE8LJYOPCKECvJ2DzAAY3nd3suc=; b=oArk3ZQLlo/pfugdpMo4sB+TJDh1mWMXpWmxDI/hNlAAzf3f19AMdFNomws2MtTtM1 Q1mxKelmBexgMahzUodGONaLlV0+Wm4Y7ekS21PVKfmBnwPk1EGlUy3WNSftPDf2EP1l Un8AaEKfUo3H00i4ne5YSdkGXI1j3ybbtlM2o= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer; b=R+bv6AvPPJUIA0md/Ph8R6DiSLUBq2HT0mPpvXbUlRUJ7PL2gyri8oYi/6QVmHoJTI DySBKqkUt6EUrJIl+qp0GR/YJyAqLhsisBroQFZCdgzBfjJPMD/aVhwOaxdQqSTpl094 ++zsNsS+1hDPFFg2BiW7M/GkRnJ9wzDvG7oAw= Original-Received: by 10.210.10.11 with SMTP id 11mr532107ebj.72.1243627513109; Fri, 29 May 2009 13:05:13 -0700 (PDT) Original-Received: from ?192.168.0.11? (mna75-3-82-66-231-76.fbx.proxad.net [82.66.231.76]) by mx.google.com with ESMTPS id 7sm3128638eyg.47.2009.05.29.13.05.11 (version=TLSv1/SSLv3 cipher=RC4-MD5); Fri, 29 May 2009 13:05:12 -0700 (PDT) In-Reply-To: <4A203D14.90006@telefonica.net> X-Mailer: Apple Mail (2.935.3) X-Bayes-Prob: 0.0001 (Score 0, tokens from: @@RPTN) X-CanIt-Geo: ip=209.85.219.228; 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: 234360681 - b8d452c93f1c - 20090529 X-Scanned-By: CanIt (www . roaringpenguin . com) on 194.171.167.220 X-Virus-Scanned: amavisd-new at ntg.nl X-BeenThere: ntg-context@ntg.nl X-Mailman-Version: 2.1.11 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 X-Virus-Scanned: amavisd-new at ntg.nl Xref: news.gmane.org gmane.comp.tex.context:50905 Archived-At: Hi Xan, Thanks to your example and Aditya's explanantion I learned too=85 Here is how you can get what you want: %%% begin example \defineenumeration[lemma]% [text=3D{Lemma}, headstyle=3Dbold, between=3D\blank, titledistance=3D0em, textdistance=3D1em, stopper=3D{.\space}, location=3Dserried, left=3D{\bgroup\bf}, right=3D{\egroup}, width=3Dfit, style=3Ditalic, title=3Dyes, titledistance=3D.3em, titlestyle=3Dsc] % or italic, or whatever you like \starttext \startlemma[reference]{ A brilliant result} If $a=3D2$ then the set $H(a)$ is not empty. \stoplemma \stoptext %%% end example Best regards: OK On 29 mai 09, at 21:52, Xan wrote: > En/na Xan ha escrit: >> En/na Xan ha escrit: >>> On Fri, 29 May 2009, Xan wrote: >>> >>> >/ Hi, >>> />/ >>> />/ I have my environment of context that defines the theorems and = >>> lemmas like />/ amsthm in latex. For example, for lemmas, I have: >>> />/ >>> />/ \defineenumeration >>> />/ [lemma] >>> />/ [text=3D{Lemma},headstyle=3Dbold,between=3D = >>> \blank,titledistance=3D0em,textdistance=3D1em, >>> />/ stopper=3D{.\space},location=3Dserried,left=3D{\bgroup = >>> \bf},right=3D{\egroup},width=3Dfit,style=3Ditalic] >>> />/ >>> />/ The question is how can I get the typical argument of lemmas: = >>> "Lema 4.1 />/ (superadditive lemma)"? How can I add the = >>> possibility that lemma _could_ have />/ one argument (the phrase = >>> in parentesis)?. >>> />/ I'm not a TeX programmer, such a ConTeXt user. >>> />/ >>> />/ Any hint? >>> / >>> Use [title=3Dyes] and then >>> >>> \startlemma[reference]{A brilliant result} >>> ... >>> \stoplemma >>> >>> >> >> But if I do that, there is no space between the parentesis and = >> number (like "Theorem 4.1(My great result)" and the parentesis and = >> the contents of the parentesis are in bold. How can I solve that? > > Mmm... with \titledistance I have to put space between () and = > numbers. But what is the dimensions of one space? 1em? > > Now it remains only the bold topic. > Thanks a lot, > Xan. >> >> >>> For details, see my article in last year's MAPS. >>> >>> Theorems in ConTeXt (English), MAPS 36, 2008, 27-32 >>> (http://www.ntg.nl/maps/36/index.html) >>> >>> Unfortunately, the issue is not available online yet. >>> >>> Aditya >>> >> Yes, I tried to download it previosly (because I think it's missing = >> documentation about something equivalent of amsthm in context) and = >> I get that.... Can you give me it privately? >> >> Regards, a lot, >> Xan. >> >> > > _________________________________________________________________________= __________ > 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 : https://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 aveue des Etats Unis 78035 Versailles cedex T=E9l=E9phone: +33 1 39 25 46 42 Secr=E9tariat: +33 1 39 25 46 44 Secr=E9tariat: +33 1 39 25 46 46 e-mail: Otared.Kavian@math.uvsq.fr ___________________________________________________________________________= ________ 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 : https://foundry.supelec.fr/projects/contextrev/ wiki : http://contextgarden.net ___________________________________________________________________________= ________