mailing-list for TeXmacs Users

Text archives Help


Typeset values


Chronological Thread 
  • From: Frank <address@hidden>
  • To: TeXmacs <address@hidden>
  • Subject: Typeset values
  • Date: Tue, 16 Jun 2020 17:44:48 +0200

Dear all,

I failed to understand the difference between \arg and \quote-arg, In particular, in the user manual

http://www.texmacs.org/tmweb/manual/webman-styling.en.html

it's said that

In some cases, it may be useful to access the real, non-typeset value.
However, I failed to find definitions of typeset value and non-typeset value. Where can I learn something about this?

Thanks!

Best wishes,

Frank




Archive powered by MHonArc 2.6.19.

Top of page