Align all the dots and make them have sensible relative sizes

[abrudz]

Unicode seems to indicate that ∙ is a filled ∘ since they have adjacent code points.

Suggestion (but open for arguments):

· (middle dot), smallest; match the dot in 0

⋅ (dot operator), smaller; match inner whitespace of ∘

∙ (bullet operator), medium; filled ∘

• (bullet), larger; match inner whitespace of ○

● (black circle, not currently in the font) largest; filled ○

Originally posted by @abrudz in #80 (comment)

[RubenVerg]

there's a few characters with middle dots in them - ⊡. ⊙. ◬, ⟐; not sure which size they use

[abrudz]

Good point, they should match the inner dot of 0 too.

[RubenVerg]

they currently match the dot size used for ¨ and other diaereses-related characters, including top-dots and bottom-dots like ⨥; I think that makes the most sense.

[RubenVerg]

oh, which is also the same size as the dots in ÷ afaict

[abrudz]

÷ looks to me like it uses .

I guess it is acceptable to have that as an intermediate size between · (middle dot, smallest; match the dot in 0) and ⋅ (dot operator, smaller; match inner whitespace of ∘)

Let's just do what the issue text says, and leave out the others.