[NTG-context] Monospace fallback kerning

Hans Hagen j.hagen at xs4all.nl
Wed Dec 19 19:25:45 CET 2018

```On 12/19/2018 6:46 PM, Hans Åberg wrote:
>
>> 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.

ok, we can apply selectively ... {\unstackscripts ... {\stackscripts
...} ... } ... maybe we need short commands that take an argument, like
\unstack{............} but that might clash ... just give it some
thought ...

Hans

--

-----------------------------------------------------------------