If it's worth saying, but not worth its own post (even in Discussion), then it goes here.
Notes for future OT posters:
1. Please add the 'open_thread' tag.
2. Check if there is an active Open Thread before posting a new one. (Immediately before; refresh the list-of-threads page before posting.)
3. Open Threads should be posted in Discussion, and not Main.
4. Open Threads should start on Monday, and end on Sunday.
∨ 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.