Type Check Symbol Mac