In contrast, if the user types two adjacent + characters without any intervening spaces, the keystroke executive 130 generates a single corresponding plus-plus token ++, but if the user types a plus character + followed by a space -- then another plus character +, the keystroke executive 130 returns a different token stream with two tokens and an intervening separator: +???+.