$coq Emojis

We've searched our database for all the emojis that are somehow related to $coq. Here they are! There are 9 of them, and the most relevant ones appear first.