Hi Hans, Currently the following mathpairs are defined: := \colonequals =: \equalscolon <= \le
= \ge != \neq
Are these all? (Why is != defined using specials?) Does it make sense to define others? I can think of the following: << \ll
\gg <<< \lll
\ggg == \equiv
In addition, we can also add arrows. Because one wants to distinguish between \Leftarrow (<=) and \le (<=), I am defining arrows using two ==. -> \rightarrow <- \leftarrow <-> \leftrightarrow ==> \Rightarrow <== \Leftarrow <=> \Leftrightarrow ===> \Longrightarrow <=== \Longleftarrow <==> \Longleftrightarrow I see this as marginally useful. Does it make sense to add support for math pairs of size three and four? If so, I am attaching a patch for char-def.lua that provides this support (as well as a test file). Everything works except ===>. The reason is that === is not mapped to anything. In the attached file, I tried mapping === (i.e., 0x2261 + 0x3D) to 0x2A76 (I gave it a mathname "eqeqeq" as well; this is consistent with latex's unicode-math package). However, this glyph is missing from LM and cambria, and === to \eqeqeq mapping doesn't work. Any idea on how to fix this or is there another approach without defining a mapping for ===. (that will also help us to define --> where I couldn't figure out what I should map -- to; I can map it to en-dash, but that just feels wrong). Thanks, Aditya PS: Currently, !=== !<= etc doesn't work (neither does \not <=, etc.). It can be fixed, but at that stage I am not sure it worth using math pairs. PPS: Monospace fonts with ligatures: https://www.hanselman.com/blog/MonospacedProgrammingFontsWithLigatures.aspx
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 -----------------------------------------------------------------
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
participants (2)
-
Aditya Mahajan -
Hans Hagen