Definition 89.22.2. Let $(U, R, s, t, c)$ be a groupoid in functors on $\mathcal{C}_\Lambda$. The completion $(U, R, s, t, c)^{\wedge }$ of $(U, R, s, t, c)$ is the groupoid in functors $(\widehat{U}, \widehat{R}, \widehat{s}, \widehat{t}, \widehat{c})$ on $\widehat{\mathcal{C}}_\Lambda$ described above.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).