2 ms·This could use an extension for xypic. It would trounce the alternatives if this were added.by ChristianMarks 16y agoThis could use an extension for xypic. It would trounce the alternatives if this were added.