add brackets for coqdoc