\in \overline {AB}