Add eq.dot

[NamorNiradnug]

Closes #159

[NamorNiradnug]

It seems appropriate to add equiv.dot (⩧) in this PR by the way. Should it be added?

[dccsillag]

It seems appropriate to add equiv.dot (⩧) in this PR by the way. Should it be added?

Sounds reasonable to me. I must admit I have never seen would-be equiv.dot used before, but it would be consistent with eq.dot.

[Enivex]

There's plenty of other symbols with dots above, e.g. ⩑ ⨰ ⫃ ⩭

Unfortunately the situation is already inconsistent, since (among other symbols) and.dot is currently ⟑ instead of ⩑.

I really feel like there needs to be a more holistic solution here.

[MDLC01]

I think for now let's only add ≐ because it is widely used and unlikely to end up with a different name in the end. We can add ⩧ later, when we decide how to handle all symbols with decorations.

[dccsillag]

agreed

[MDLC01]

Just as a heads up, I will merge this in about five days unless someone objects.

[dccsillag]

Sounds good to me.