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
.