It’s strange that the syntax is not afraid of using non-ASCII Unicode characters (e.g. « », ≤, ≈, ƒ) but then uses the ASCII digraphs /\ and \/ for logical AND and OR instead of ∧ and ∨.
Maybe Crockford is a Mac guy. It looks like all the extended characters are in the MacRoman set and -- on a mac keyboard -- typing ƒ is no more difficult than typing F. ∧ and ∨ are not easily available.