5
$\begingroup$

Given a continuous sequence of integers $(a, a+1, a+2, \dots, b)$ I want to write:

$P_a \wedge P_{a+1} \wedge P_{a+2} \wedge \dots \wedge P_b$

Where $P_i$ is some logical statement parametrized by $i$

I have been writing:

$\forall_{i=a}^{b}P_i$

for this.

Is there a more correct and commonly used symbol for this? Or a better way to write it?

1 Answers 1

7

$\bigwedge_{i=a}^b P_i$

Where the symbol is \bigwedge