> On 17 Jun 2017, at 15:16, Hans Åberg <[email protected]> wrote:
>
>> On 17 Jun 2017, at 12:11, Pablo Rodriguez <[email protected]> wrote:
>>
>> On 06/17/2017 10:11 AM, Hans Åberg wrote:
>>> [...]
>>> Yes, that is the problem. It works fine with latest beta.
>>>
>>> I found a strange bug with the \tt command: when copying from the
>>> PDF, the spaces disappear. With your header above, I get (the
>>> comments is the text copy from the PDF):
>>> [...]
>>> That is, when adding a single symbol, above "α", but it does not
>>> seem to matter which, the spaces disappear.
>>
>> I get right spaces with latest beta...
>
> I do not get the Unicode subscript and superscript numbers in \tt and
> \starttyping:
It is due to the font: they are in STIX Two Math:
\definefallbackfamily[mainface][tt][TeX Gyre Cursor]
[range={basiclatin, digitslatin}, force=yes]
\definefontfamily[mainface][rm][TeX Gyre Pagella]
\definefontfamily[mainface][mm][TeX Gyre Pagella Math]
\definefontfamily[mainface][tt][STIX Two Math]
\setupbodyfont[mainface]
\setupmathematics[lcgreek=normal, default=normal]
\starttext
\startformula
𝑨¹₁, 𝑨¹₁ ⇒ 𝑩¹₁ ⊢ 𝑩¹₁.
\stopformula
\starttyping
rule MP. 𝑨¹₁, 𝑨¹₁ ⇒ 𝑩¹₁ ⊢ 𝑩¹₁.
\stoptyping
{\tt rule MP. 𝑨¹₁, 𝑨¹₁ ⇒ 𝑩¹₁ ⊢ 𝑩¹₁.}
\stoptext
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : [email protected] / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://context.aanhet.net
archive : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___________________________________________________________________________________
