Hi Hans and = Mikael,

Thank you = both for your attention to my reply and the clarification and hints = regarding the comman \colonequals and

= \setupmathematics[autospacing=3Dyes]

Indeed the command \colonequals give = the precise expected alignment for the combination glyph =C2=AB :=3D =C2=BB= . Befors changing the combination =C2=AB :=3D =C2=BB to \columnequals in = my documents, I am wondering whether one could add a small lua code in = order to make an automatic replacement at run time. Actually, since I = don=E2=80=99t know of any other instance in which the combination =C2=AB = :=3D =C2=BB is used to mean something else, would it not be reasonnable = to make =C2=AB :=3D =C2=BB synonym to \colonequals?

I played a little bit = with

= \setupmathematics[autospacing=3Dyes]

and it = seems to me that without this command one gets automatic spacing in math = mode, while with the above command the spacing obeys what has been = inserted in the source. Is this behaviour intended, or is there a = mismatch between

= \setupmathematics[autospacing=3Dyes]

and

= \setupmathematics[autospacing=3Dno]

Best regards: Otared

On 26 Jan 2023, at 10:33, Hans = Hagen via ntg-context <ntg-context@ntg.nl> wrote:

On = 1/25/2023 6:24 PM, Mikael Sundqvist via ntg-context wrote:
On Wed, Jan 25, 2023 at = 11:02 AM Otared Kavian via ntg-context
<ntg-context@ntg.nl> = wrote:

Hi,

Thanks Hraban for the = information and the link to the article by Hans and Mikael about the = math fonts in Lucida.

I very much = appreciated that article: one sees how the handling of almost = impercebtile details in ConTeXt make us to adhere to and love = LuaMetaTeX=E2=80=A6 So a great thank you to Hans and Mikael for all this = work!

Regarding the details of vertical = alignment in math, I wonder whether the column =C2=AB : =C2=BB in front = of the equal sign =C2=AB =3D =C2=BB, in the combination =C2=AB :=3D =C2=BB= (used to define for instance a new variable) should be alos centered = around the math axis, as explained in the article. For instance in the = following example

\setupbodyfont[lucidaot,12pt]
\starttext
\startformula
f(x) :=3D -(u|x) :=3D - \langle = u, x \rangle
\stopformula
\stopformula
\startformula
f : A \longrightarrow B
\stopformula
\stoptext

it seems to me that the lower dot (or square=E2=80=A6) in the = semicolumn of the first formula (in front of the equal sign) is lower = than in the second formula.

Best regards: = Otared
Thank you for the kind words, = Otared,
Regarding the colons (and other symbols with = "dots"), I would say it
is still not optimal in Lucida = (and difficult to make it "consistent",
there are too many = symbols that are at the moment different). But in
your = example you can use \colonequals and \colon if you prefer. They
are centered around the math axis.
Best, = Mikael
\setupbodyfont[lucidaot,12pt]
\starttext
\startformula
f(x) :=3D = -(u|x) \colonequals - \langle u, x \rangle
\stopformula
\startformula
f : A \longrightarrow B = \breakhere
f \colon A \longrightarrow B
\stopformula
\startformula
\mathaxisbelow :=3D \colonequals : \colon
\stopformula
\stoptext
There is a (experimental as we played with it = and then got distracted) feature that makes some symbols adapt to = spacing in the input.

\starttext

=    \setupmathematics[autospacing=3Dyes]

   \setupmathematics[collapsing=3D2]

   \im{A:B} and \im{A : = B}\par
   \im{A:=3DB} and \im{A :=3D = B}\par
   \im{A\colonequals B} and \im{A = {\colonequals} B}\par

\stoptext

the second line is not yet ok as collapsing = the :=3D (old feature) comes at the wrong time when we do autospacing = (something Mikasl and I now need to discuss and test)

This autospacing is part of some larger effort, for instance = we can also auto handle fences and so. All this relates to minimizing = the input and make it a bit more natural. Think (1,2) vb (1, 2) where we = - due to the many more classes that we have - want spacing to be = right.

All will be revealed in the upcoming = releases and the upcoming 3145 page math manual.

Hans

---------------------------------------------------------------= --
=             &n= bsp;           &nbs= p;            =     Hans Hagen | PRAGMA ADE
=             &n= bsp;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://www.ntg.nl/mailman/listinfo/ntg-context
webpage : https://www.pragma-ade.nl / http://context.aanhet.net
archive : = https://bitbucket.org/phg/context-mirror/commits/
wiki     : https://contextgarden.net
_______________________________________________________________= ____________________

Otared Kavian

e-mail: = otared@gmail.com

Phone: +33 6 88 26 70 = 95