x x ˇ = x ˇ = x ˇ