This will still insert a tilde