Lemma 62.6.2. Let $j : U \to X$ be an étale morphism. Then $j^! = j^{-1}$.

Proof. This is true because $j_!$ as defined in Section 62.4 agrees with $j_!$ as defined in Étale Cohomology, Section 59.70, see Lemma 62.4.3. Finally, in Étale Cohomology, Section 59.70 the functor $j_!$ is defined as the left adjoint of $j^{-1}$ and hence we conclude by uniqueness of adjoint functors. $\square$

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).