--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/papers/mh6.5/trademark.tex	Mon Apr 18 23:46:02 2005 +0900
@@ -0,0 +1,59 @@
+% Trademarks...
+
+\def\gobble#1{}
+\def\tradeORGfont{\sc}			% used for organizations (e.g., ACM)
+\def\tradeNAMfont{\sf}			% used for names (e.g., Ada)
+
+\def\tradeorg#1{%
+    \tradeaux{#1}{\expandafter\gobble\string#1}\empty\tradeORGfont
+}
+\def\tradename#1#2#3{\tradeaux{#1}{#2}{#3}\tradeNAMfont}
+\def\trademark#1#2{%
+    \tradeaux{#1}{\expandafter\gobble\string#1}{#2}\tradeNAMfont
+}
+
+\def\tradeaux#1#2#3#4{%
+    \def#1/{\relax}%			% in case #3 references #1
+    \setbox0=\hbox{#3}%			%   when we make the \hbox
+    \ifdim\wd0>0pt
+	\gdef#1/{%
+	    \tradeaux{#1}{#2}\empty{#4}%
+	    #1/\footnote{#1/ is a trademark of #3.}%
+	}%
+    \else
+	\gdef#1/{{#4#2}}%
+    \fi
+}
+
+\tradeorg\acm
+\tradeorg\ansi
+\tradename\Ada{Ada}
+		{the Department of Defense (\Ada/ Joint Program Office)}
+\tradeorg\bsd
+\tradeorg\ccitt
+\tradename\cms{CMS}		{International Business Machines, Incorporated}
+\tradename\cpm{CP/M}		{Digital Research Corporation}
+\tradename\decnet{DECnet}	{Digital Equipment Corporation}
+\tradeorg\dod
+\tradename\ethernet{Ethernet}	{the Xerox Corporation}
+\tradename\eunice{Eunice}	\empty
+\tradeorg\ieee
+\tradename\lattice{Lattice}	{Lattice, Incorporated}
+\tradename\locus{Locus}		{Locus Computing Corporation}
+\def\microvax/{$\mu$\vax/}
+\def\microvms/{$\mu$\vms/}
+\tradeorg\milstd
+\tradename\msdos{MS-DOS}	{Microsoft Corporation}
+\tradename\pcinterface{PC-Interface}%
+				{Locus Computing Corporation}
+\tradename\pdp{PDP}		{Digital Equipment Corporation}
+\tradename{\tops20}{Tops20}	{Digital Equipment Corporation}
+\tradename\trustedmail{Trusted\ Mail}%
+				{Trusted Technologies, Incorporated}
+\tradename\ultrix{ULTRIX}	{Digital Equipment Corporation}
+\tradename\unibus{UNIBUS}	{Digital Equipment Corporation}
+\tradename\unix{UNIX}		{AT\&T Bell Laboratories}
+\tradename\vax{VAX}		{Digital Equipment Corporation}
+\tradename\vm{VM}		{International Business Machines, Incorporated}
+\tradename\vms{VMS}		{Digital Equipment Corporation}
+\tradename\xenix{Xenix}		{Microsoft Corporation}