Added set theory characters