missing non-unicode equivalent for ∈
Opened this issue · 1 comments
MMesch commented
It seems that a non-unicode equivalent is missing for the type operator ∈
(
Lines 231 to 232 in 26d847f
acowley commented
Totally agreed that if there isn’t one, then there should be. If you open a PR, I’ll be happy to merge it.