<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">2013/5/29 Sensei <span dir="ltr"><<a href="mailto:senseiwa@gmail.com" target="_blank">senseiwa@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div><div class="HOEnZb"><div class="h5">On 5/28/13 9:05pm, Khaled Hosny wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On Tue, May 28, 2013 at 06:29:15PM +0200, Martin Schröder wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Are you a troll?<br>
</blockquote>
<br>
No, he is someone trying to understand TeX without making any attempt to<br>
understand it, may be there is a word for that.<br>
</blockquote>
<br></div></div>
No, I am just looking at the symbols produced in a tex document (see below), trying to see if there is some structure that I can relate to, for example names (along with mangling) in an object file.<br>
</div><br></blockquote><div> hm ... let's see.<br></div><div>pdftex/xetex/luatex read a tex file (high level lang) and produces a pdf file, so most direct relation between input and output <br>is the <br>character. Very ofter all the other high level markup are flatted into (font,size,char) streeams (of course there is a way to put outline in pdf one to one to section of tex).<br>
</div><div>For example with tha plain format<br></div><div>H\bye  <br></div><div>produces a pdf with the H character with a certain font  and hence, from a certain point of view this is the symbol produced.<br></div><div>
You can see how *tex works from the external   with<br></div><div>\tracingall H\bye <br></div><div>but I believe that you cannot see all the details down to the pdf.<br></div><div>Probably you can also play with the lua callbacks to print intermediate values,  <br>
</div><div>but if you want to see how the tokens are produced , managed and how they go into the pdf,<br>it's better to run a debugged version of luatex. Starting from here you can have a better vision also<br></div><div>
on which lua callbacks are involved.<br></div><br><br></div><br><br clear="all"><br>-- <br>luigi<br>
</div></div>