guys.
I'm writing some logic equations and I need something like this:
I produce this symbol through the following piece of code:
\begin{equation} \underline{\bigvee^{\forall R_{I}}}R_{I}(x,y) \end{equation}
However, when I have wider limits, this ugly thing happens:
The question is: is there any way to produce a "big" \veebar
symbol where the underbar has the same length of the "V" (more likely the first picture)?
Any ideas are welcomed! Thanks in advance!