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
}