mailing-list for TeXmacs Users

[Frank <address@hidden>]

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