Christopher Rayson wrote:
On Thu, 4 May 2006, Martin Wuerthner wrote:
So, the feature would be called "Subsumed arrows"? I think I still have a slight preference for "Coincident arrows". Any other opinions?
I'd refer to the current style for arrows as "Extended heads". I'm not sure what the opposite to that would be, though. "Contracted"? > Chris
Not bad ... I would suggest:
"Integral" (i.e. part of the line) for the new style "Extended" for the current style -- Clive Bonsall C.Bonsall@xxxxxxxx