Is there a Unicode character for the Curley W used in Hindley-Milner type inference ? Many thanks in advance, Aaron