767 This ternary relation, written $(s, r) \rightarrow v$, 

   767 This ternary relation, written $(s, r) \rightarrow v$, 

   768 formalises the POSIX constraints on the

   768 formalises the POSIX constraints on the

   769 value $v$ given a string $s$ and 

   769 value $v$ given a string $s$ and 

   770 regular expression $r$.

   770 regular expression $r$.

   771 }

   771 }

   772 \end{figure}\afterpage{\clearpage}

   773 \end{figure}\afterpage{\clearpage}

   773 \noindent

   774 \noindent

   774 

   775 

   775 %\begin{figure}

   776 %\begin{figure}

   776 %\begin{tikzpicture}[]

   777 %\begin{tikzpicture}[]