\documentclass[fleqn,leqno]{article}
\usepackage{hypertlabook}
\pdftitle{Answer}
\begin{popup}
\subsection*{Answer}
If $b$ equals 42, then $TypeOK$ equals $\FALSE$;  and $\FALSE => G$
equals \TRUE\ for any Boolean value $G$.
\end{popup}
\makepopup