Subject: Re: rationals

From: categories <[email-masked]>
Date: Wed, 13 Mar 1996 12:49:50 -0400 (AST)

Date: Wed, 13 Mar 1996 07:35:27 -0800
From: Vaughan Pratt <[email-masked]>

We seem to be having mailer problems again, with caret being turned
into escape.

Peter Freyd's ASCII notation => for internal hom to the rescue: read

	But in Ab, Z^Z = Z.

as

	But in Ab, Z=>Z = Z.

Vaughan