5 \def\tradeORGfont{\sc} % used for organizations (e.g., ACM)
6 \def\tradeNAMfont{\sf} % used for names (e.g., Ada)
8 \def\tradeorg#1{\tradeaux{#1}{\expandafter\gobble\string#1}\empty\tradeORGfont}
9 \def\tradename#1#2#3{\tradeaux{#1}{#2}{#3}\tradeNAMfont}
11 \tradeaux{#1}{\expandafter\gobble\string#1}{#2}\tradeNAMfont
14 \def\tradeaux#1#2#3#4{%
15 \def#1/{\relax}% % in case #3 references #1
16 \setbox0=\hbox{#3}% % when we make the \hbox
19 \tradeaux{#1}{#2}\empty{#4}%
20 #1/\nfootnote{#1/ is a trademark of #3.}%
30 {the Department of Defense (\Ada/ Joint Program Office)}
33 \tradename\cms{CMS} {International Business Machines, Incorporated}
34 \tradename\cpm{CP/M} {Digital Research Corporation}
35 \tradename\decnet{DECnet} {Digital Equipment Corporation}
37 \tradename\ethernet{Ethernet} {the Xerox Corporation}
38 \tradename\eunice{Eunice} \empty
40 \tradename\lattice{Lattice} {Lattice, Incorporated}
41 \tradename\locus{Locus} {Locus Computing Corporation}
42 \tradename\msdos{MS-DOS} {Microsoft Corporation}
44 \tradename\pcinterface{PC-Interface}%
45 {Locus Computing Corporation}
46 \tradename\pdp{PDP} {Digital Equipment Corporation}
47 \tradename{\tops20}{Tops20} {Digital Equipment Corporation}
48 \tradename\trustedmail{Trusted\ Mail}%
49 {Trusted Technologies, Incorporated}
50 \tradename\unix{UNIX} {AT\&T Bell Laboratories}
51 \tradename\vax{VAX} {Digital Equipment Corporation}
52 \tradename\vm{VM} {International Business Machines, Incorporated}
53 \tradename\vms{VMS} {Digital Equipment Corporation}
54 \tradename\xenix{Xenix} {Microsoft Corporation}