Symbol key

Wikipedia article on logic symbols