On 8/9/2025 12:11 PM, Abdelhak Ferhat wrote:
Hi,
I'm new to the ConTeXt world and this my first post
While running the script below,
-----
\starttext
\centerdot\centerdot\centerdot
\neg\neg\neg
\stoptext
-----

I encountered the following issues with different versions of context:
*  With version 1.04 (2023.07.14), the script runs successfully.
*  With version 1.06 (2024.02.27), \neg is not recognized.
*  With version 1.06 (2025.07.27), neither \neg nor \centerdot are recognized.

As a workaround, if I add the definitions:
\protected\def\centerdot  {\Umathchar "2"0"0000B7 }
\protected\def\neg        {\Umathchar "0"0"0000AC }

all three versions execute successfully.

I'm using AlmaLinux 9.6.

You could to:

\Umathchardef \centerdot "2"0"0000B7
\Umathchardef \neg       "0"0"0000AC

but keep in mind that in text mode these characters are taken from the current math font so they can look different, likely when you mix fonts, but for instance also in a family e.g. in lucida the text one is smaller

[\centerdot] [\periodcentered]

also, we have \neg defines as a math function and there is \lnot for the logical negation (as part of a consistency and more granular class classification) .. see math manual

Hans

-----------------------------------------------------------------
                                          Hans Hagen | PRAGMA ADE
              Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
       tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl
-----------------------------------------------------------------
___________________________________________________________________________________
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