Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!decvax!harpo!seismo!hao!hplabs!sri-unix!REM@MIT-MC
From: REM@MIT-MC@sri-unix.UUCP
Newsgroups: net.space
Subject: Re: The name of our sun is "Sol".
Message-ID: <4422@sri-arpa.UUCP>
Date: Sun, 21-Aug-83 21:46:00 EDT
Article-I.D.: sri-arpa.4422
Posted: Sun Aug 21 21:46:00 1983
Date-Received: Mon, 22-Aug-83 10:47:09 EDT
Lines: 8

From:  Robert Elton Maas <REM @ MIT-MC>

I've always seen our galaxy called "the Milky Way Galaxy", and M31
called "the Andromeda Galaxy". Thus while "the Milky Way" might refer
just to what you see from the Earth, add the word "Galaxy" and it's
the usual name for our galaxy. Is there any other name for our galaxy
in common use other than local names such as "the Galaxy" or "our
galaxy" etc.? Is there any other name for M31?