(`|` is the text cursor) `2*11|` [TAB]→ `22` `2*1|1` [TAB]→ `21` (`"2*1" + "1"` → `"2" + "1"`) `2*|11` [TAB]→ `22` `2|*11` [TAB]→ `22` (meaning that it's not a partial evaluation shortcut) <img width="76" height="72" alt="Image" src="https://github.com/user-attachments/assets/ffa35765-cfde-4eed-b6e5-b37a63a347ef" />
(
|is the text cursor)2*11|[TAB]→222*1|1[TAB]→21("2*1" + "1"→"2" + "1")2*|11[TAB]→222|*11[TAB]→22(meaning that it's not a partial evaluation shortcut)