if "system F omega underline" can be a well-established point on the lambda cube, I don't want any more negative feedback on my use of emoji in papers
I do believe that establishes the precedent that "omega underline" is pronounced as "with type constructors"
