![](https://secure.gravatar.com/avatar/d558f7d2c62b984d42b1e276bbdfc2c7.jpg?s=120&d=mm&r=g)
On 17 Jun 2017, at 15:16, Hans Åberg
wrote: On 17 Jun 2017, at 12:11, Pablo Rodriguez
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