Hi,
I'm looking to create the function space
$$
\textbf{H}^1_{\tau}(\Omega) = \{ \overrightarrow{v} \in (\textbf{H}^1(\Omega))^d: \overrightarrow{v} \times \overrightarrow{n} = 0 \},
$$
where $\overrightarrow{n}$ is the normal to the domain $\Omega$. Is this possible?