1: \begin{definition}[cf. Section 3 of \cite{OSzNew}, Theorem 1.2 of \cite{MMW1}]\label{OSzAlgDef}

2: For $n \geq 0$ and $0 \leq k \leq n$, the dg algebra $\B(n,k)$ is the algebra of the following quiver, with zero differential and with relations to be specified (the grading will be discussed in Section~\ref{sec:AlgGrading}). The vertices of the quiver are subsets $\x$ of $\{0,\ldots,n\}$ with $|\x| = k$. If $\x \cap \{i-1,i\} = \{i-1\}$ and $\y = \x \setminus \{i-1\} \cup \{i\}$ for some $i$, we add an arrow from $\x$ to $\y$ with label $R_i$. If $\x \cap \{i-1,i\} = \{i\}$ and $\y = \x \setminus \{i\} \cup \{i-1\}$ for some $i$, we add an arrow from $\x$ to $\y$ with label $L_i$. For all vertices $\x$ of the quiver and all $i \in \{1, \ldots, n\}$, we add an arrow from $\x$ to itself with label $U_i$.  The relations are of the following type:

3: \begin{itemize}

4: \item $[R_i,R_j] = 0$, $[L_i,L_j] = 0$, and $[R_i,L_j] = 0$ if $|i-j|>1$

5: \item $[U_i,A] = 0$  for all labels $A$

6: \item $L_i R_i = U_i$, $R_i L_i = U_i$

7: \item $R_i R_{i+1} = 0$, $L_i L_{i-1} = 0$

8: \item $U_i = 0$ at a vertex $\x$ if $\x \cap \{i-1,i\} = \varnothing$.

9: \end{itemize}

10: These relations (except those of the form $U_i = 0$) are assumed to hold whenever any composable pair of arrows has labels appearing as a term in one of the above expressions. Note that not every nonzero $U_i$ generator may be factored as $R_i L_i$ or $L_i R_i$.

11: \end{definition}