Comment by layer8

1 year ago

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 ∨.

3 comments

layer8

Reply
ksherlock  1 year ago

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.

  • Turing_Machine  1 year ago

    Yeah, all of those seem to be readily available, at least on the US Mac keyboard layout.

    ƒ is ⌥f, « and » are ⌥\ and ⌥| respectively, ≤ is ⌥<, ≥ is ⌥>, and ≈ is ⌥x.

    Edit: for non-Mac people, ⌥ is the "Option" key. Option+f gives you ƒ, and so on.

    > ∧ and ∨

    Well, you could always add them to Favorites on the "Emoji and Symbols" popup.