\documentclass[fleqn,leqno]{article}
\usepackage{hypertlabook}
\pdftitle{}
\begin{popup}
This statement sets the value of the third element of the array $A$
to 42 and leaves the values all other other elements of $A$ unchanged.
In PlusCal, this statement is written 
\begin{display}
\verb|A[3] := 42|
\end{display}
\end{popup}
\makepopup