\documentclass{article}

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

\date{}
\begin{document}
\maketitle


\thispagestyle{empty}

\[
\begin{array}{@{\hspace{5pt}}l}
\forall 
\hspace*{5pt}
\mbox{\em frame}
\hspace*{5pt}
{\scriptscriptstyle \in}
\hspace*{5pt}
\mathtt{getAllFrames}
\left(
\mathtt{fnDB}
\right)
\hspace*{5pt}
\bullet 
\\
\begin{array}{@{\hspace{5pt}}l}
\exists 
\hspace*{5pt}
\mbox{\em fe}
\hspace*{5pt}
{\scriptscriptstyle \in}
\hspace*{5pt}
\mathtt{getFEs}
\left(
\mathtt{fnDB}
,
\mbox{\em frame}
\right)
\hspace*{5pt}
\bullet 
\\
\mathtt{True}
\\
\end{array}
\\
\end{array}
\]
\end{document}
