Daniel Keep wrote: > BLADE may also be of some interest to you. > > http://www.dsource.org/projects/mathextra/browser/trunk/blade Thanks for the hint! I had seen BLADE sometimes before, but I realize that I should really study it in more detail.