used symbol for intersection