Before revision: Arsine gas or phosphine gas can be used in the ion source to provide arsenic or phosphorus respectively .
After revision: for implantationArsine gas or phosphine gas can be used in the ion source to provide arsenic or phosphorus respectively .