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

% (a)~
$\A \, i \in Proc :   Trying(i) ~> InCS(i)$


% \medskip
% 
% (b)~$\A\, i \in Proc : 
%   Trying(i) ~> (InCS(i) \/ \E\, j \in Proc : []InCS(j))$

\end{popup}
\makepopup