How to write constraints above or below logical operators in latex?

Question

I want to write constraints below logical operators like or. How do I do it. There is a question already on AND here, how do I do it for OR operator/ other operators like implication etc?

Answer 1

For or, the command would be \bigvee although \bigwedge and \bigvee are symbols which are intended to be used as operators on some set or range of values, e.g.,

 \[
   \bigwedge_{i=1}^{10} F_{i}
 \]

to indicate that you're essentially calculating

F₁ ∧ F₂ ∧ ⋯ ∧ F₁₀

I'm not sure that makes sense for ⇒ which is likely why no such operator is predefined. If you perhaps mean that you want to put some text above or below ⇒ you can load amsmath and use the command \overset, \underset or \overunderset, e.g.,

\[
   A \overset{*}{\Rightarrow} B
\]

to set ⇒ with a * above it. You would do something similar if you wanted to put symbols above or below \wedge, \vee, etc.