Default Integer Part

    This command starts a "growing" Default Integer Part symbol.
    The caret goes in between the two vertical lines of the symbol, so you have to type and to finish it, type Enter as usual.
    The keyboard shortcut is Tab a.