[t-vi]

The subtraction is because "is an example of constructing the “Inner Product” distance" per the text above it. That ymmone might not be one could be because they only need that up to a constant and so don't care, but it's probably not ideal to name the thing containing 0s ymmone.

[eigenket]

Is there a context where it is usual to call minus the dot-product a distance?