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