What do you expect here to pass as argument to the oldfact command?
>
I will pass something like n, 5, 10 etc.

>
> This works here:
>
> \defineenumeration
>   [proof]
>   [closesymbol={\mathematics{\square}}]
>
> \starttext
>
> \startproof
> \samplefile{lorem}
> \stopproof
>
> \stoptext
>

Thanks. I will test this again.
-- 
Respect,
Shiv Shankar Dayal
___________________________________________________________________________________
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
___________________________________________________________________________________

Reply via email to