`@TeX'{} (TeX)
--------------
Use the `@TeX{}' command to generate `TeX'. In a printed manual,
this is a special logo that is different from three ordinary letters.
In Info, it just looks like `TeX'. The `@TeX{}' command is unique
among Texinfo commands in that the `T' and the `X' are in upper case.