Hacker News new | ask | show | jobs
by throwawaymath 2898 days ago
That's not a subtraction sign, it's a hyphen. N is the norm of x, denoted by |x|. Technically the norm is a scalar-valued function applied to a vector, hence the functional notation N(xy) = N(x) • N(y).

So to be explicit, they're saying |xy| = |x| • |y| implies you cannot have a 0 divisor.