mailing-list for TeXmacs Users

[Basile Audoly <address@hidden>]

Hi Frank,

first check that you correctly entered the formula: do Edit > Copy to TeXmacs, and paste into a scrapbook (or whatever it is called in windows) and check that the result is

  <math|H<rsub|<text|ét>>>

Make sure that the <text|…> tag is present.

If you can confirm this, then it is just a false negative as reported by the semantic type-checker. You have to either disable semantic checking, or define a macro <Het> as <syntax| H<rsub|<text|ét>> | H> which will be displayed as earlier, but it will be treated as H by the semantic checker.

Basile

Le 18 oct. 2019 à 15:59, Frank <address@hidden> a écrit :

Hi,

I find that when I inputs texts in math formulae, the box becomes red (normally it is green), which indicates a possible semantic error. If I enable "highlight errors", the formulae including texts will also be red highlighted. See the attached images.

Best wishes,

On 18/10/2019, Mirko Vukovic wrote:

On my Windows machine and TeXmacs1.99.11, pressing alt-shift-$ inside an equation enters text mode.

On Fri, Oct 18, 2019 at 7:55 AM Frank <address@hidden> wrote:

Dear all,

Hello. I wonder what is the suggested way to insert texts in math
formulae (which will be adapted to semantic editing)? For example, when
I want to write a notation for étale cohomology, I need to add "ét" as
the subscript of "H", but I failed to find a good way to preserve the
accented "é". If I input the unaccented version "et" instead, seemingly
"et" will be recognized as a name and rendered non-italicized, but I do
not know whether in the semantic sense this is a right thing to do in
TeXmacs?

--
Best wishes!
Yours,

-- 
Best wishes!
Yours,

<red.png><green.png><error.png>