From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.8 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 14401 invoked from network); 27 Dec 2023 12:22:16 -0000 Received: from cgl.ntg.nl (5.39.185.202) by inbox.vuxu.org with ESMTPUTF8; 27 Dec 2023 12:22:16 -0000 Received: from localhost (localhost [127.0.0.1]) by cgl.ntg.nl (Postfix) with ESMTP id D9678483E16 for ; Wed, 27 Dec 2023 13:21:38 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at cgl.ntg.nl Received: from cgl.ntg.nl ([127.0.0.1]) by localhost (cgl.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id Nu0fUGJyX9BL for ; Wed, 27 Dec 2023 13:21:38 +0100 (CET) Received: from cgl.ntg.nl (localhost [127.0.0.1]) by cgl.ntg.nl (Postfix) with ESMTP id A7AF8483E32 for ; Wed, 27 Dec 2023 13:20:43 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by cgl.ntg.nl (Postfix) with ESMTP id CC32F483606 for ; Wed, 27 Dec 2023 13:20:13 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at cgl.ntg.nl Received: from cgl.ntg.nl ([127.0.0.1]) by localhost (cgl.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id HcmD2H2dzyFz for ; Wed, 27 Dec 2023 13:20:13 +0100 (CET) Received: from mail-vk1-f170.google.com (mail-vk1-f170.google.com [209.85.221.170]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by cgl.ntg.nl (Postfix) with ESMTPS id 617CA4835D4 for ; Wed, 27 Dec 2023 13:20:13 +0100 (CET) Received: by mail-vk1-f170.google.com with SMTP id 71dfb90a1353d-4b72e63821eso1495852e0c.1 for ; Wed, 27 Dec 2023 04:20:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1703679612; x=1704284412; darn=ntg.nl; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=8mcnWLFV5PE3IiEDhb5m02xgF0aUsDB2lTKIxVf92vs=; b=OjPrP9ogtF9guh4T/lpGzPOx8OfpvB7pcXt0nmecQoXNfZqMcGtzyWoyLGS2ZCO1lh Aur0xmSE2Mu9QBjQCK096TjPHqLKORUMI84Q1Qhi+kqrnw6VwzCIo4QZeLgxKI+pIUQp yZuFby4RvfGTna+FLakX3uGlnOJBBg5SFWWJ3n7AFp6Yh9MezeLWqv118IQmwrHunX6d Qdx1yph7EkWLGkTmOlAF2y0mOcQvUBJKmWRpdQDrBvbRGHtO+jqzUDHxopWelRtMg3kI /IYIvWTiCMkNu49tvKuRPoKVKoXWjT9WSIVuXe02OyNPuctf9IRHjHbZvTD0nfd4JedL F+Gg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703679612; x=1704284412; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=8mcnWLFV5PE3IiEDhb5m02xgF0aUsDB2lTKIxVf92vs=; b=Bz2h8dpoFraXiFdfRZ6yBusZNfYo95Xb3FLv5y9zNmj+Wd4B+svaAvw7mFVCZBg4FP bxb5L1CKAhyU5e9fpp6lmJIitDCbts6GteK9VlwmU/dPGVUq3FNi2ob9Ui/JrsKgbCTY BV+doLn0ZZK9TdczeNK5COuqiczXvBGOGg4XiKBCu06CIqGz6N40jtqMjW3ibM3KAFN3 1jDyfPLmrkrcAN/pSanWouonMNlvTTW1ShX8gI0UHQPn086lM2lPXXPXE2xsEvQkkNy0 BMcv49JAPzJkpHFMryZZXwRjERhfD8sfr9T+m2mBat6NgyGb/hTNjdineXcxA3G9kpIa q8wg== X-Gm-Message-State: AOJu0YwiYx7BhhHeLdJF6ei/SpMvdC+gBzrOaEQNWVjut3UuQnyoLFPi VJJryh9FWlKBZ/EQyHUfeXmFNF4zd1XIII0EST8= X-Google-Smtp-Source: AGHT+IEXT4Fw8pZQK28qnvtKdIcu6tXjpZIsi1Uk0vhP2PnYocg7izN/bXzENAgMdcX+ON47wgmk5ymOyHj2rS41778= X-Received: by 2002:a1f:fecd:0:b0:4b6:e3b6:41ea with SMTP id l196-20020a1ffecd000000b004b6e3b641eamr4831059vki.4.1703679611589; Wed, 27 Dec 2023 04:20:11 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Shiv Shankar Dayal Date: Wed, 27 Dec 2023 17:49:59 +0530 Message-ID: To: Wolfgang Schuster Message-ID-Hash: KOEL3HOMRZWOHAS6XVDIWTMN2TUTD4JE X-Message-ID-Hash: KOEL3HOMRZWOHAS6XVDIWTMN2TUTD4JE X-MailFrom: shivshankar.dayal@gmail.com X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header CC: mailing list for ConTeXt users X-Mailman-Version: 3.3.8 Precedence: list Reply-To: mailing list for ConTeXt users Subject: [NTG-context] Re: old style factorial symbol and theorems List-Id: mailing list for ConTeXt users Archived-At: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Content-Type: multipart/mixed; boundary="===============8445054444236281471==" --===============8445054444236281471== Content-Type: multipart/alternative; boundary="0000000000000f602d060d7cd27a" --0000000000000f602d060d7cd27a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable I use following in Latex to generate old factorial symbol: \newcommand{\oldfact}[1]{% \tikz[baseline]{\node[anchor=3Dbase,inner sep=3D0.3ex](mynode){\ensuremath{#1}};\draw(mynode.north west)--(mynode.sou= th west)--(mynode.south east);\path[use as bounding box]($(mynode.south west)+(-0.3ex,-0.3ex)$)rectangle($(mynode.north east)+(0.3ex,0.3ex)$);} } But I do not know how to make it work in ConTeXt as I am not very familiar with ConTeXt. If you see https://www.ntg.nl/maps/36/09.pdf page no. 28 then proof is defined as \defineenumeration [proof] [ text=3DProof, number=3Dno, headstyle=3Ditalic, title=3Dno, %this is the default closesymbol=3D{\mathematics{\square}}, style=3Dnormal] But the closessymbol does not work. I will create a minimum working example and post it as soon as possible. On Wed, Dec 27, 2023 at 5:44=E2=80=AFPM Wolfgang Schuster < wolfgang.schuster.lists@gmail.com> wrote: > Shiv Shankar Dayal schrieb am 27.12.2023 um 13:01: > > Hi, > > > > How can I typeset old style factorial symbol and theorems in ConTeXt. > > I found https://www.ntg.nl/maps/36/09.pdf but it does not work. What > > adaptation should I do for it to work? > > Can you be more precise what you have tried and doesn't work, a complete > minimal example would be perfect. > > Wolfgang > > --=20 Respect, Shiv Shankar Dayal --0000000000000f602d060d7cd27a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I use following in Latex to generate old factorial sy= mbol:

\newcommand{\oldfact}[1]{%
\tikz[baseline= ]{\node[anchor=3Dbase,inner sep=3D0.3ex](mynode){\ensuremath{#1}};\draw(myn= ode.north west)--(mynode.south west)--(mynode.south east);\path[use as boun= ding box]($(mynode.south west)+(-0.3ex,-0.3ex)$)rectangle($(mynode.north ea= st)+(0.3ex,0.3ex)$);}
}

But I do not know how t= o make it work in ConTeXt as I am not very familiar with ConTeXt.

If you see https://www.ntg= .nl/maps/36/09.pdf page no. 28 then proof is defined as

\defineenumeration
[pro= of]
[ text=3DProof,
number=3Dno,
headstyle=3Ditalic,
title=3Dno= , %this is the default
closesymbol=3D{\mathematics{\square}},
style= =3Dnormal]

But the closessymbol does not work.

I will create a minimum working example and post it a= s soon as possible.

On Wed, Dec 27, 2023 at 5:44=E2=80=AFPM Wolfg= ang Schuster <wolfg= ang.schuster.lists@gmail.com> wrote:
Shiv Shankar Dayal schrieb am 27.12.2023 um 13:= 01:
> Hi,
>
> How can I typeset old style factorial symbol and theorems in ConTeXt. =
> I found https://www.ntg.nl/maps/36/09.pdf but it does not = work. What
> adaptation should I do for it to work?

Can you be more precise what you have tried and doesn't work, a complet= e
minimal example would be perfect.

Wolfgang



--
Respect,
Shiv Shankar Dayal
--0000000000000f602d060d7cd27a-- --===============8445054444236281471== 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 / https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl webpage : https://www.pragma-ade.nl / https://context.aanhet.net (mirror) archive : https://github.com/contextgarden/context wiki : https://wiki.contextgarden.net ___________________________________________________________________________________ --===============8445054444236281471==--