1: \begin{definition} A {\it gallery\/} is a sequence 

2: $\gamma=(F_0=\{0\},A_0=A_\circ,F_1,A_1, F_2, \dots , F_n, A_n, F_{\infty}=\{\mu\})$ 

3: such that $A_0,\dots,A_n$ are alcoves;

4: $F_i$ is a codimension one common face of the alcoves $A_{i-1}$ and $A_i$,

5: for $i=1,\dots,n$; and 

6: $F_{\infty}$ is a vertex of the last alcove $A_n$. 

7: The weight $\mu$ is called the {\it weight\/} of the gallery and is denoted by $\mu(\gamma)$. 

8: The folding operator $\phi_i$ is the operator which acts on a gallery by  leaving its initial segment from $A_0$ to $A_{i-1}$ intact and by reflecting the remaining tail in the affine hyperplane containing the face $F_i$. In other words, we define

9: $$\phi_i(\gamma):=(F_0,A_0, F_1, A_1, \dots, A_{i-1}, F_i'=F_i,  A_{i}', F_{i+1}', A_{i+1}', \dots,  A_n', F_{\infty}')\,;$$

10: here $A_j' := \widehat{t}_i(A_j)$ for $j\in\{i,\dots,n\}$, $F_j':=\widehat{t}_i(F_j)$ for $j\in\{i,\dots,n\}\cup\{\infty\}$, and $\widehat{t}_i$ is the affine reflection in the hyperplane containing $F_i$, as in Theorem \ref{equivdef}.

11:  %We say that a gallery is {\it unfolded\/} if $A_{j-1}\ne A_j$, for $j=1,\dots,l$.  

12: \end{definition}

13: