4 \def\tradeORGfont{\sc} % used for organizations (e.g., ACM)
5 \def\tradeNAMfont{\sf} % used for names (e.g., Ada)
8 \tradeaux{#1}{\expandafter\gobble\string#1}\empty\tradeORGfont
10 \def\tradename#1#2#3{\tradeaux{#1}{#2}{#3}\tradeNAMfont}
12 \tradeaux{#1}{\expandafter\gobble\string#1}{#2}\tradeNAMfont
15 \def\tradeaux#1#2#3#4{%
16 \def#1/{\relax}% % in case #3 references #1
17 \setbox0=\hbox{#3}% % when we make the \hbox
20 \tradeaux{#1}{#2}\empty{#4}%
21 #1/\footnote{#1/ is a trademark of #3.}%
31 {the Department of Defense (\Ada/ Joint Program Office)}
34 \tradename\cms{CMS} {International Business Machines, Incorporated}
35 \tradename\cpm{CP/M} {Digital Research Corporation}
36 \tradename\decnet{DECnet} {Digital Equipment Corporation}
38 \tradename\ethernet{Ethernet} {the Xerox Corporation}
39 \tradename\eunice{Eunice} \empty
41 \tradename\lattice{Lattice} {Lattice, Incorporated}
42 \tradename\locus{Locus} {Locus Computing Corporation}
43 \def\microvax/{$\mu$\vax/}
44 \def\microvms/{$\mu$\vms/}
46 \tradename\msdos{MS-DOS} {Microsoft Corporation}
47 \tradename\pcinterface{PC-Interface}%
48 {Locus Computing Corporation}
49 \tradename\pdp{PDP} {Digital Equipment Corporation}
50 \tradename{\tops20}{Tops20} {Digital Equipment Corporation}
51 \tradename\trustedmail{Trusted\ Mail}%
52 {Trusted Technologies, Incorporated}
53 \tradename\ultrix{ULTRIX} {Digital Equipment Corporation}
54 \tradename\unibus{UNIBUS} {Digital Equipment Corporation}
55 \tradename\unix{UNIX} {AT\&T Bell Laboratories}
56 \tradename\vax{VAX} {Digital Equipment Corporation}
57 \tradename\vm{VM} {International Business Machines, Incorporated}
58 \tradename\vms{VMS} {Digital Equipment Corporation}
59 \tradename\xenix{Xenix} {Microsoft Corporation}