Some symbols show up in logic more than others, so I decided to explore the rest, and try to construct a unifying theory and notation for logical symbols.