Where and how does TeX define the character sequence `` and '' ?
From the TeX * prompt, how does one "show" the definition?
Where and how does TeX define the character sequence `` and '' ?
From the TeX * prompt, how does one "show" the definition?
You can't. \show shows definitions at the macro layer but `` is implemented as a ligature and becomes an open double quote the same way that ff becomes an ff ligature.
Thus the information is defined per font in the font metrics.
so the nearest you can do is:
$ tex
This is TeX, Version 3.14159265 (TeX Live 2014) (preloaded format=tex)
**\setbox0\hbox{``}\showbox0
> \box0=
\hbox(6.94444+0.0)x5.00002
.\tenrm \ (ligature ``)
! OK.
<*> \setbox0\hbox{``}\showbox0
?