...-style11
is a trademark of AT&T Bell Laboratories. is a trademark of IBM Corporation. TEX is a trademark of the American Mathematical Society. , , and are trademarks of Digital Equipment Corporation.