I am confused, why is it not identical to your other comment?
I think I fixed it. Thanks.
This was annoying to fix, so I just made W nonempty in the intro to the post.
Yep, changed it to ≃.
Fixed at least some of them.