F# Unicode operators