Unicode operators and precedence?

[Dominikus Dittes Scherkl]

On Sunday, 1 November 2020 at 19:47:33 UTC, Dominikus Dittes 
Scherkl wrote:
And with Unicode we could of course replace all the clunky 
two-char operators or misused characters with standard dedicated 
single chars:

!= --> ≠
<= --> ≤
'>= --> ≥
== --> = (compare)
=  --> ≔ (assign)
!  --> ¬ (logic not)
&& --> ∨ (logic and)
|| --> ∧ (logic or)
^  --> ⊻ (xor - and add the missing ⊼ (nand) and ⊽ (nor))
&  --> ∪ (union)
|  --> ∩ (intersection)