Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!caip!lll-crg!gymble!umcp-cs!aplcen!jhunix!ins_apmj
From: ins_apmj@jhunix.UUCP (Patrick M Juola)
Newsgroups: net.lang.c
Subject: Re: Precedent for use of =
Message-ID: <3147@jhunix.UUCP>
Date: Thu, 10-Jul-86 09:40:45 EDT
Article-I.D.: jhunix.3147
Posted: Thu Jul 10 09:40:45 1986
Date-Received: Sat, 12-Jul-86 03:11:00 EDT
References: <1645@brl-smoke.ARPA> <2208@umcp-cs.UUCP> <2158@ihlpg.UUCP>
Reply-To: ins_apmj@jhunix.ARPA (Patrick M Juola)
Organization: Erisian Liberation Front
Lines: 27

In article <2158@ihlpg.UUCP> tainter@ihlpg.UUCP (Tainter) writes:
>> Perhaps you know more languages than I.  Let me list those whose
>> syntax I remember, and count `= for assigment' vs. `= for equality'
>> (or both).
>> 	Assignment		Equality
>> 	----------		--------
	[ List deleted ]
>ADD:
>	Assignment		Equality
>	----------		---------
>				mathematics
>				logic
>--j.a.tainter

				try 			mathematics (both)
							logic (both)

	You've never seen the statements at the beginning of proofs, where
they assign properties to variables....  If you want to assign to vector
z the length of 1, you write "|z|=1."  Or at least I do.  How do you do it?

-- 
  seismo!umcp-cs \                      	Pat Juola
    ihnp4!whuxcc  > !jhunix!ins_apmj		Hopkins Maths
 allegra!hopkins /                      

 "I'm kind of tired.  I was up all night trying to round off infinity."