[Y_Y]

For the proof given in TFA they use the assumption that the symbol is compact and hence closed. I argue that the symbol needn't be closed, it may still be measurable.