Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 5/3/83; site whuxlb.UUCP
Path: utzoo!linus!wivax!decvax!harpo!floyd!whuxlb!npl
From: npl@whuxlb.UUCP
Newsgroups: net.lang
Subject: More Names for Redirections
Message-ID: <1177@whuxlb.UUCP>
Date: Sun, 19-Jun-83 21:19:27 EDT
Article-I.D.: whuxlb.1177
Posted: Sun Jun 19 21:19:27 1983
Date-Received: Mon, 20-Jun-83 01:46:29 EDT
Organization: Bell Labs, Whippany
Lines: 8

RE: proposed name for file redirection chars, etc.

Agree with jack at rlgvax.  < = from
My own: > = into; >> = append ; | = pipe.

Note that UN*X still accepts ^ as an alternate pipe symbol
since old (UC only) terminals didn't have the | all the time.
Use of "pipe" lets you use whichever is to your liking.