\documentclass{article}

\usepackage{graphicx}
\usepackage{amssymb}
\usepackage{stmaryrd}
\usepackage{amsmath}
\usepackage{fancyvrb}
\title{}
\author{}

\date{}
\begin{document}
\maketitle


\thispagestyle{empty}

Do not check the Test... Frame\\effective: True

\[
\left\{
\mathtt{isPrefixOfS}
\left(
\mathsf{Test}
,
\mathtt{name}
\left(
\mbox{\em frame}_{\mbox{\scriptsize\em src}}
\right)
\right)
\right\}
\]


Do not check the Boulder Frame\\effective: True

\[
\left\{
\mathsf{Boulder}
= 
\hspace*{2pt}
\mathtt{name}
\left(
\mbox{\em frame}_{\mbox{\scriptsize\em src}}
\right)
\right\}
\]


Do not check the Test... Frame\\effective: True

\[
\left\{
\mathtt{isPrefixOfS}
\left(
\mathsf{Test}
,
\mathtt{name}
\left(
\mbox{\em frame}_{\mbox{\scriptsize\em trg}}
\right)
\right)
\right\}
\]


Do not check the Boulder Frame\\effective: True

\[
\left\{
\mathsf{Boulder}
= 
\hspace*{2pt}
\mathtt{name}
\left(
\mbox{\em frame}_{\mbox{\scriptsize\em trg}}
\right)
\right\}
\]
\end{document}
