\documentclass[fleqn,leqno]{article}
\usepackage{hypertlabook}
\pdftitle{ASCII Text}
\begin{popup}
\begin{verbatim*}
A == /\ x > y
     /\ <<x, y>> \in S
     /\ x' = x+y
\end{verbatim*}
\end{popup}
\makeasciipopup