p❘p ∙ ❘ ∙ q❘q = p ∙ q

p ∣ q ∙ ❘ ∙ p ∣ q = p ⌵ q

x❘y ∙ ❘ ∙ z❘u = ≝ ❘ ❘ (x,y,z,u)
114