Symbol: is_wroff_extra