First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Re: Texts in math formulae?


Chronological Thread 
  • From: Basile Audoly <address@hidden>
  • To: Frank <address@hidden>
  • Cc: Mirko Vukovic <address@hidden>, TeXmacs <address@hidden>
  • Subject: Re: Texts in math formulae?
  • Date: Fri, 18 Oct 2019 17:38:26 +0200
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>


Archive powered by MHonArc 2.6.19.

Top of page