GSoC: Patch for extra symbols in starmath

Hi,

I was asked to post one of my GSoC patches here. The patch adds a new
symbols to starmath, mainly "%mapsto" and "bow <text>". It also allows
limits, using "to" and "from" to "union" and "intersection", so that
writing "union from a to b Q_i" is a legal and works as if "union" was
replaced with "sum".
The bow command draws a half circle above the following command, much
like "widehat". The symbol used is not really, pretty enough so I've
included a patch that doesn't have the bow command.

Note: That this patch changes the file format and that older versions
of starmath will not be able to display these symbols correctly... I
suggest that this is taken into consideration before the patch is
merged into anything...

Patch for %mapsto and union/intersection fix:
http://jopsen.dk/downloads/GSoC2010/symbols-27-june.diff
Patch for %mapsto, union/intersection fix and bow:
http://jopsen.dk/downloads/GSoC2010/symbols-20-august.diff

Examples:
http://jopsen.dk/downloads/GSoC2010/mapsto.png
http://jopsen.dk/downloads/GSoC2010/union.png

My primary GSoC patch, for visual formula editing, is not production
ready, yet... But I plan to keep working on that...The other results
of my GSoC project can be seen here:
http://www.freedesktop.org/wiki/Software/ooo-build/SummerOfCode/2010/Jonas

If I find time some day it is my intention to write a small article
about adding symbols to starmath... And I promise to post a link here
if such an event were to occur... :)

--
Regards Jonas Finnemann Jensen.