Fix various Unicode operators and add ⊊ and ⊋.