11.8.1 @TeX{} (TeX) and @LaTeX{} (LaTeX)

Use the @TeX{} command to generate ‘TeX’. In a printed manual, this is a special logo that is different from three ordinary letters. In other output formats, it just looks like ‘TeX’.

Similarly, use the @LaTeX{} command to generate ‘LaTeX’, which is even more special in printed manuals (and different from the incorrect La@TeX{}. In other output formats, the result is just ‘LaTeX’.

The spelling of these commands is unusual for Texinfo, in that they use both uppercase and lowercase letters.