Better symbols for any/all signals

[gyorokpeter]

Currently they look like the "element of" symbol, which is annoying as they don't really mean that. Even when interpreting the graphic as not mathematical symbols but squiggles that suggest splitting and merging, they are still incorrect, as neither splits the input, only merges it, so they should be facing the same direction, making them indistinguishable.
Some ideas for better symbols:

• ∃ (exists) for "any" and ∀ for "all"
• ∨ (or) for "any" and ∧ (and) for "all"
• Logical OR gate for "any" and AND gate for "all", with multiple legs for inputs as opposed to the standard two