Definition:Vector Length in Arrow Representation