@timtfj the problem is that for some of us eth is now a derivative operator (ever since Penrose thought it's too cool a letter to waste). Kinda awkward to think of it differentiating the next letter in a word 😅