On Sun, Jun 9, 2013 at 4:27 PM, Steffen Wolfrum <context@st.estfiles.de> wrote:

... no. it should look this (see below): $\overline{U_A}$