[NTG-context] Monospace fallback kerning

Hans Γ…berg haberg-1 at telia.com
Wed Dec 19 18:46:30 CET 2018


> On 19 Dec 2018, at 18:25, Hans Hagen <j.hagen at xs4all.nl> wrote:
> 
> On 12/19/2018 3:48 PM, Hans Γ…berg wrote:
> 
>> An incidental remark: TeX puts simultaneous sub- and superscripts above each other, and the Unicode sub- and superscripts are translated as such in the example below math mode. But actually, there may be a semantic difference  between the order (though not in the case below), and that is used in tensor notation. In TeX, the original suggestion is to use {} in such a case.
>> β€”
>> \definefontfallback
>>  [Mono] [stixtwotext]
>>  [range={0100-10FFFF},factor=1] [force=yes]
>> \setupbodyfont
>>  [dejavu,10pt]
>> \showglyphs
>> \starttyping
>>   𝑷₂₀(0), βˆ€Β²π‘₯⁰⁺²₂₀: 𝑷₂₀(π‘₯⁰⁺²₂₀) β‡’ 𝑷₂₀(s(π‘₯⁰⁺²₂₀)) ⊒ βˆ€ΒΉπ‘¦β°βΊΒΉβ‚‚β‚€ 𝑷₂₀(𝑦⁰⁺¹₂₀)
>> \stoptyping
>> \startformula
>>   𝑷₂₀(0), βˆ€Β²π‘₯⁰⁺²₂₀: 𝑷₂₀(π‘₯⁰⁺²₂₀) β‡’ 𝑷₂₀(s(π‘₯⁰⁺²₂₀)) ⊒ βˆ€ΒΉπ‘¦β°βΊΒΉβ‚‚β‚€ 𝑷₂₀(𝑦⁰⁺¹₂₀)
>> \stopformula
> ah, so it's time for some new (undocumented) math magic .. the next beta will have this:
> 
> \startformula
>  𝑷₂₀(0), βˆ€Β²π‘₯⁰⁺²₂₀: 𝑷₂₀(π‘₯⁰⁺²₂₀) β‡’ 𝑷₂₀(s(π‘₯⁰⁺²₂₀)) ⊒ βˆ€ΒΉπ‘¦β°βΊΒΉβ‚‚β‚€ 𝑷₂₀(𝑦⁰⁺¹₂₀)
> \stopformula
> 
> \startformula
>  \unstackscripts 𝑷₂₀(0), βˆ€Β²π‘₯⁰⁺²₂₀: 𝑷₂₀(π‘₯⁰⁺²₂₀) β‡’ 𝑷₂₀(s(π‘₯⁰⁺²₂₀)) ⊒ βˆ€ΒΉπ‘¦β°βΊΒΉβ‚‚β‚€ 𝑷₂₀(𝑦⁰⁺¹₂₀)
> \stopformula

That might be useful for those depending on it, and presumably there is a \stackscripts, too. Just comes to my mind:

Though probably non-standard in typesetting, one might make a slight typographic difference between π‘₯Β²β‚€ and π‘₯β‚€Β² by letting the sub- or superscripts that come later partially, but not fully, to the position of the one that comes before. For example, π‘₯β‚€Β² might mean the square of π‘₯β‚€, and π‘₯Β²β‚€ the component 0 of π‘₯Β², not necessarily the same. Traditionally, such things are left for the reader to interpret.




More information about the ntg-context mailing list