Insert an artificial prompt after typing ∇function