According to "Foundations of F#", page 61: F# uses a function called not for Boolean "not" operations.