Some relational operators (see #58)

[RubenVerg]

[abrudz]

[RubenVerg]

was mostly going for consistency with everything else - the bar + tilde ones use the normal upper and lower tilde components; proportional is aligned with infinity; equals with dots also just use the normal dot above and below components (moved only horizontally when necessary); the canceled precedes/succeeds use the same cancel component as less/greater than

[abrudz]

IMO pragmatic readability trumps consistency. That said, maybe those dots and other vertical alignments should be revisited?

Anyway, these are rare glyphs in practice, and better to have them than not, so I'll merge now, and they can then be beautified later.

[RubenVerg]

will make an issue