Martin Vermeer wrote: > which you must admit looks cleaner than the '|'-separated strings!
Indeed. And the inset is much more extensible now... > Also a \color line is already foreseen :-) ...e.g. with this ;-) But I's say let's push this in first. Juergen.
