When the user types the character + the tokenizer 132 deletes the provisional separator, which is no longer necessary given the unambiguous boundaries between the tokens a, + and ), and the insertion point lies in position 2, between the + and ) tokens.