mailing-list for TeXmacs Users

[Basile Audoly <address@hidden>]

Hi Frank,

Here is a possible interpretation.

"typeset" means "evaluated" in this context: \arg returns the fully evaluated argument, while \quote-arg returns the unevaluated argument. The evaluation ultimately resumes due to the enclosing \eval. This will have to be confirmed, I am not sure at all that this is correct.

Here is a pointer to evaluation flow in Scheme, which TeXmacs has used as an inspiration.

https://courses.cs.washington.edu/courses/cse341/04wi/lectures/14-scheme-quote.html

Basile

Le 16 juin 2020 à 17:44, Frank <address@hidden> a écrit :

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