> 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:
\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][TeX Gyre Pagella 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
___________________________________________________________________________________