\documentclass[fleqn,leqno]{article}
\usepackage{hypertlabook}
\pdftitle{ASCII Text}
\fixverbatim
\begin{popup}
\begin{verbatim}
SetGCD(T) == SetMax({d \in Int : \A t \in T : Divides(d, t)})
\end{verbatim}
\end{popup}
\makeasciipopup