Re: [dev-context] mathpairs

2017-08-06 Thread Aditya Mahajan

On Sun, 6 Aug 2017, Hans Hagen wrote:


On 8/5/2017 6:53 AM, Aditya Mahajan wrote:

On Sat, 5 Aug 2017, Aditya Mahajan wrote:


:=  \colonequals
=:  \equalscolon


BTW, should we remove the definitions of \colonequals, \equalcolons, and 
\minuscolon from math-def.mkiv?

i'll comment them ... how about the others ..


Thanks.

\coloncolonequals can also be commented (it is 0x2A74). We can also 
create a mathpair for this.


* :: (0x3A, 0x3A) -> 0x2237
* ::- (0x2237, 0x2D) -> 0x2A74.

i can make them into virtual characters if needed .. or do they need to 
be added to unicode (given that we have proof of usage, in that case we 
can ask barbara)


I don't see the usage of other \colon... symbols (at least in my sub-field 
of mathematics). For consistency with others, we can convert them into 
virtual characters.


Aditya
___
dev-context mailing list
dev-context@ntg.nl
https://mailman.ntg.nl/mailman/listinfo/dev-context


Re: [dev-context] mathpairs

2017-08-06 Thread Hans Hagen

On 8/5/2017 6:53 AM, Aditya Mahajan wrote:

On Sat, 5 Aug 2017, Aditya Mahajan wrote:


:=  \colonequals
=:  \equalscolon


BTW, should we remove the definitions of \colonequals, \equalcolons, and 
\minuscolon from math-def.mkiv?
i'll comment them ... how about the others .. i can make them into 
virtual characters if needed .. or do they need to be added to unicode 
(given that we have proof of usage, in that case we can ask barbara)


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
-
___
dev-context mailing list
dev-context@ntg.nl
https://mailman.ntg.nl/mailman/listinfo/dev-context


Re: [dev-context] mathpairs

2017-08-04 Thread Aditya Mahajan

On Sat, 5 Aug 2017, Aditya Mahajan wrote:


:=  \colonequals
=:  \equalscolon


BTW, should we remove the definitions of \colonequals, \equalcolons, and 
\minuscolon from math-def.mkiv?


Aditya
___
dev-context mailing list
dev-context@ntg.nl
https://mailman.ntg.nl/mailman/listinfo/dev-context