Set Theory Idea: we do not need the subset inclusion symbol on the top. Instead, we use the one on the bottom and make no distinction between proper and non-proper subsets, because in the end, why bother making another symbol? You don't save yourself that much writing by writing the words "A is proper."