closed-symbol?