On Fri, 2007-05-18 at 02:31 -0700, Erick Tryzelaar wrote:
> skaller wrote:
> > I think it is important to note that 'recognizable' symbols
> > will be domain specific. A mathematician will demand different
> > symbols to an economist.
> >   
> 
> This is what fortress does:
> 
> http://research.sun.com/projects/plrg/fortress.pdf

yeah, I've look at Fortress. I also tried adding Unicode symbols
into my text with gvim .. and they're unreadable.

I also had to hunt for my character mapper and search for the
character then copy/paste via the clipboard .. not so good for
productivity.

> I'm not sure yet if this is worth the cost yet though.

MathML and TeX provide semi-readable encodings of lightweight
maths. Despite some issues, using TeX would be an interesting
because it is well understood how to do so, especially by
mathematical audience.

But lexically it steals a lot of characters such as {} 
and (). Still it appeals to write

        \sum ^ \inf [j:int=0] (j*j + 1/j)

        \{ x | x > 0 \} \cap \Z

but then I did work for Aus.Math.Bull designing their
input software for typesetting TeX.

However, it can get arcane, and typeset is not the same
as safe syntax. For example Tensor notation (Einstein)
is absolutely rigid in the positioning of sub and super
scripts.


-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net

-------------------------------------------------------------------------
This SF.net email is sponsored by DB2 Express
Download DB2 Express C - the FREE version of DB2 express and take
control of your XML. No limits. Just data. Click to get it now.
http://sourceforge.net/powerbar/db2/
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language

Reply via email to