be its semiclassical principal symbol. Let $K\subset T^*\mathbb{R}^n$ be compact. Assume there are an open neighbourhood $U$ of $K$ and a constant $c>0$ such that
paragraph
admin
\begin{align*}
|p(x,\xi)|\ge c
\end{align*}
latex_env
admin
for all $(x,\xi)\in U$, and assume all derivatives of $V$ that occur on the projection of a fixed compact neighbourhood of $U$ are bounded. Let $u_h\in\mathcal{S}'(\mathbb{R}^n)$ be semiclassically tempered: for every compactly supported symbol $a\in C_c^\infty(T^*\mathbb{R}^n)$ and every $s\in\mathbb{R}$ there are constants $C,Q>0$ with
in $H_h^s(\mathbb{R}^n)$ for every $s\in\mathbb{R}$. Then $K\cap\operatorname{WF}_h(u_h)=\varnothing$. Equivalently, for every $\chi\in C_c^\infty(T^*\mathbb{R}^n)$ with $\operatorname{supp}\chi\subset U$ and $\theta=1$ on a neighbourhood of $\operatorname{supp}\chi$,