Added support for some set-theoretic symbols.