Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!rochester!cornell!gvax!jqj
From: jqj@gvax.cs.cornell.edu (J Q Johnson)
Newsgroups: net.text
Subject: Re: SUN DTP S/W
Message-ID: <542@gvax.cs.cornell.edu>
Date: Wed, 8-Oct-86 07:10:52 EDT
Article-I.D.: gvax.542
Posted: Wed Oct  8 07:10:52 1986
Date-Received: Thu, 9-Oct-86 06:21:35 EDT
References: <2469@utai.UUCP> <2468@milano.UUCP> <1816@utah-gr.UUCP>
Reply-To: jqj@gvax.cs.cornell.edu (J Q Johnson)
Organization: Cornell Univ. CS Dept. Ithaca NY
Lines: 23

Although a number of wysiwyg editors can display math symbols, the original
poster asked about EXTENSIBLE wysiwyg systems.  Thus, for example, on the
Xerox star one can easily create and display on the screen summations or
integrals with bounds in the proper places by selecting the "sigma" or
"Integral" template in equation mode.  Of course it's recursive so you
can create things like:
		  infinity
		SIGMA f(k)
		  k=1
	INTEGRAL		y(x) dx
		37

What you can NOT do with that editor, or with any other with which I'm
familiar, is create your own notation.  Thus, suppose you want to have RHO
behave like SIGMA, or want to create a notation that uses overbars to 
indicate binding, e.g.:

		          ___
		 ________/___\
		/	/    \\
	FORALL a EXISTS b (f(a,b))

Is there any commercially available product?