retractible operator