let is_ctrl m = (Mark.is_included Mark.ctrl (user_mark m))