[ fix ] in non-commutative settings distinguish _∣ˡ_ and _∣ʳ_

[ fix ] in non-commutative settings distinguish _∣ˡ_ and _∣ʳ_ #4370