[x:y] = [lx:ly]
and I suppose the model of localization discussed in the article above counts as well.
and I suppose the model of localization discussed in the article above counts as well.
With my font, the letter l looked like a vertical bar |. Hence why this looked like symbol soup. But okay, let's say it's about projective spaces. Then surely, you realize that the equal sign still denotes equality. The point [1:2] is literally equal to [2:4] in P^2, not "proportional". Perhaps you need a refresher: https://en.wikipedia.org/wiki/Equivalence_class#quotient_set
I later remembered fractions a/b = ac/bc work this way too!