Over-it symbol
This command
starts an over-it symbol.
The cursor sets above the current line, so you have just to
type the part over le line.
To finish this part, type Enter as usual.
Then the cursor sets on the current line, so you have just
to type the main part.
To finish it, and then finish the
symbol, type Enter
as usual.
The keyboard shortcut is Tab c.