Wikipedia
Clubsuit
In mathematics, and particularly in axiomatic set theory, ♣ (clubsuit) is a family of combinatorial principles that are weaker version of the corresponding ◊; it was introduced in 1975 .