I've been trying to show that the wave front set for the characteristic function of the open ball, $B(0,1)$, is given by the boundary normal vectors $\{(x,\xi) \in S^1 \times \mathbb{R}^2-\{0\}$: $x \|\xi\}$ (i.e. $t\xi = x\in S^1$, $t\in \mathbb{R}-\{0\}$). I'd be very happy if someone showed me how to prove the statement.
Definition of the wave front set: https://en.wikipedia.org/wiki/Wave_front_set
This is shown in detail in Section 4 of this paper. The idea is to transform to coordinates in terms of which the characteristic function of the ball is a tensor product between a smooth function and a one-dimensional Heaviside distribution. Of course, in this case polar coordinates do the trick.