1: \begin{definition}[Geometric rough path]\label{def:geometric rough path}

2: $\mathbb Z^{\leq 2}:[0,T]^2\to T^{(2)}(\mathbb R^d)$ is said to be a geometric rough path  (\cite{lyonsbook}) if it is the limit (under the $p$-variation distance, \cite[Definition 1.5]{lyonsbook}) of truncated signatures of order 2 of smooth paths. The space of all geometric rough paths will be denoted by $G\Omega([0,T]; \mathbb R^d)$. A geometric rough path $\mathbb Z^{\leq 2}\in G\Omega([0,T]; \mathbb R^d)$ can be (uniquely) extended to $\mathbb Z^{<\infty}:[0,T]^2\to T((\mathbb R^d))$, which will be called its signature (\cite[Theorem 3.7]{lyonsbook}).

3: \end{definition}

4: