https://www.52unicode.com/triple-solidus-binary-relation-unicode