title: Why is "||" the symbol for or?
body: <p>I know that <code>||</code> represents the logical operation "or", but I'm curious if anyone knows the history of choosing that symbol. Was it just because it happened to be an unused symbol on the keyboard?</p>