Since the print output is passed through TeX anyway, we might as well

format it properly with the \TeX command.  Likewise for instances of
LaTeX in our documentation.

There should be no change for the HTML output, where they will still
be rendered in bold characters like all other text wrapped in <application>.

share/sgml/freebsd.dsl

@@ -197,6 +197,8 @@
               (("ports")   (string-append u "&" "manpath=FreeBSD+Ports"))
               (else u))))
 
+        (element application ($bold-seq$))
+
         (element citerefentry
           (let ((href          ($create-refentry-xref-link$)))
             (if %refentry-xref-link%
@@ -690,6 +692,18 @@
               display?: display
               display-alignment: graphic-align)))
 
+	;; Display TeX and LaTeX properly by sending direct formatting
+	;; commands to the TeX backend.
+
+	(element application
+	  (if (equal? "TeX" (data (current-node)))
+	    (make formatting-instruction data:
+		"\\TeX{}")
+	      (if (equal? "LaTeX" (data (current-node)))
+		  (make formatting-instruction data:
+		      "\\LaTeX{}")
+			($bold-seq$))))
+
 	;; The special FreeBSD version of the trademark tag handling.
 	;; This function was more or less taken from the DocBook DSSSL
 	;; stylesheets by Norman Walsh.
@@ -873,8 +887,6 @@
       (element command ($mono-seq$))
       (element envar ($mono-seq$))
 
-      (element application ($bold-seq$))
-
       <!-- Warnings and cautions are put in boxed tables to make them stand
            out. The same effect can be better achieved using CSS or similar,
            so have them treated the same as <important>, <note>, and <tip>