5.4.1 Warning About c=

Also, as a caution, we use c= for ⊆ in Mizar. However, when using c= , we need to leave a space in front and back.