\documentclass[fleqn,leqno]{article}
\usepackage{hypertlabook}
\pdftitle{Answer}
\begin{popup}
\subsection*{Answer}

Change the \textbf{while} test to: \ 
 $\E\, x, y \in S : x # y$

\end{popup}
\makepopup