diff options
| -rw-r--r-- | lltxb-dtxstyle.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lltxb-dtxstyle.tex b/lltxb-dtxstyle.tex index 50eb0da..01232b6 100644 --- a/lltxb-dtxstyle.tex +++ b/lltxb-dtxstyle.tex @@ -11,7 +11,7 @@ % logos \makeatletter \newcommand\eTeX{$\m@th\varepsilon$-\TeX} -\newcommand\LuaTeX{Lua\kern-0.08333em\TeX} +\newcommand\LuaTeX{Lua\TeX} \renewcommand\PlainTeX{Plain\thinspace\TeX} \newcommand\TeXe{\TeX\thinspace82} \newcommand\TeXLive{\TeX\thinspace Live} |