User blog comment:Bubby3/Letter notation extension to Q (e0)/@comment-32994025-20190718024644

I will give an upvote. I did not check the well-definedness yet. I might later.