[NTG-context] Re: old style factorial symbol and theorems

[Shiv Shankar Dayal <shivshankar.dayal@gmail.com>]

[-- Attachment #1.1: Type: text/plain, Size: 1347 bytes --]

I use following in Latex to generate old factorial symbol:

\newcommand{\oldfact}[1]{%
\tikz[baseline]{\node[anchor=base,inner
sep=0.3ex](mynode){\ensuremath{#1}};\draw(mynode.north west)--(mynode.south
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=Proof,
number=no,
headstyle=italic,
title=no, %this is the default
closesymbol={\mathematics{\square}},
style=normal]

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 PM 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
>
>

-- 
Respect,
Shiv Shankar Dayal

[-- Attachment #1.2: Type: text/html, Size: 2203 bytes --]

[-- Attachment #2: Type: text/plain, Size: 511 bytes --]

___________________________________________________________________________________
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
___________________________________________________________________________________