[Dev-luatex] # => ## in \directlua

Taco Hoekwater taco at elvenkind.com
Tue Oct 7 13:51:56 CEST 2008

David Kastrup wrote:
>> So `#' is transformed into `##' when passed from TeX to Lua.
> No, when TeX prints.

You are saying the same thing. The tokenlist that results from
the <general text> that is read after the \directlua is internally
converted to a string before the lua interpreter gets a look at it.

This currently uses TeX's tokenlist print function, but I could
make it behave differently, no problem (after all, this
generated string is only 'seen' by the lua interpreter).

Best wishes,

More information about the dev-luatex mailing list