You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

philh comments on Open Thread, Apr. 20 - Apr. 26, 2015 - Less Wrong Discussion

3 Post author: Gondolinian 20 April 2015 12:02AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (350)

You are viewing a single comment's thread. Show more comments above.

Comment author: DataPacRat 22 April 2015 12:53:14PM 0 points [-]

My goal is for a relatively simple, even iconic, image or logo, which can be easily interpreted regardless of the viewer's language. The symbol for Phi - a circle with a line through it - provides fodder for as much interpretation as I desire, from the overlapped 1 and 0 of binary to an ouroborus to an axis-and-equator to the Golden Ratio - and if a minimal modification can explicitly add the "maximum value of the variable denoted by this symbol", I'll be a happy little rat indeed.

Comment author: philh 23 April 2015 02:17:48PM *  2 points [-]

This page suggests "∨".

(I've only ever seen that symbol meaning "or", but that's a kind of maximum.)

Comment author: DataPacRat 23 April 2015 03:47:51PM 2 points [-]

That's one of the two possibilities I've found over the past day. The other is ⊤ from https://en.wikipedia.org/wiki/Greatest_element .

(I wonder if presenting this idea to an actual mathematician would induce any wincing? Off to /r/math to find out...)

Comment author: gjm 23 April 2015 03:53:09PM 3 points [-]

∨ is the mathematical symbol for "or" (in logic) -- my guess is that it may be derived from the fact that the initial letter of the Latin word for "or" is "v". There's a kinda convention that when you have a(n associative) binary operator, you use a bigger version of it to signify applying it to all the things in a sequence or set, so you'd want a larger one -- a bit like a capital "V".

⊤ is the mathematical symbol for the "top" element of a Boolean algebra; maybe more generally of a lattice. You wouldn't use it to mean "maximum of these things" in general.