All riddles (sans one) have a one letter answer (a-z).
This is riddle #8 
I'm a rareish letter you relish writing in Coq's proof mode