'⊢' U22A2 is overriden by '≥' as is '⊣' U22A3 by '≤' I suggest <Multi_key> <bar> <minus> respectively <Multi_key> <minus> <bar>
'⊢' U22A2 is overriden by '≥' as is '⊣' U22A3 by '≤'
I suggest <Multi_key> respectively <Multi_key>