Formally, in Euclidean space, the wave front set of ƒ is defined as the complement of the set of all pairs (x0,v) such that there exists a test function \phi\in C_c^\infty with \phi(x0) ≠ 0 and an open cone Γ containing v such that the estimate
