Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!utcs!mnetor!seismo!brl-adm!brl-smoke!gwyn From: gwyn@brl-smoke.UUCP Newsgroups: net.lang.c Subject: Re: Precedent for use of = Message-ID: <2152@brl-smoke.ARPA> Date: Sat, 12-Jul-86 09:24:48 EDT Article-I.D.: brl-smok.2152 Posted: Sat Jul 12 09:24:48 1986 Date-Received: Sun, 13-Jul-86 06:58:28 EDT References: <1645@brl-smoke.ARPA> <2208@umcp-cs.UUCP> <2158@ihlpg.UUCP> <3147@jhunix.UUCP> Reply-To: gwyn@brl.arpa (Doug Gwyn (VLD/VMB) ) Followup-To: net.math Organization: Ballistic Research Lab (BRL), APG, MD. Lines: 13 In article <3147@jhunix.UUCP> ins_apmj@jhunix.ARPA (Patrick M Juola) writes: > 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? Much as I hate to continue this totally bogus discussion, I really have to point out that |z|=1 is not any sort of an assignment. Usually it is seen in a context such as "assume |z|=1; then..." which is a Boolean use of = as a relational operator. But this has nothing to do with C and should move to net.math, if you really want to discuss meaning of symbols in mathematics.