\documentclass[a4paper,11pt]{article}
\usepackage[inference]{semantic}

\newcommand\nlambda[1]{\ensuremath{\lambda #1.\,}}
\newcommand\nred{\ensuremath{\longrightarrow}}

\begin{document}
\title{1η Σειρά Ασκήσεων}
\author{Όνομα Επώνυμο}
\date{25 Οκτωβρίου 2005}
\maketitle

\section*{Ασκηση 1}

Να δειχθεί ότι ο όρος $(\nlambda{x} x x) (\nlambda{x} x x)$
αποκλίνει.  Η σχέση $\nred$ είναι η σχέση μετατροπής.

\[
  \inference{%
    t_1 \nred t'_1
  & t_2 \nred t'_2 \\
    t_3 \nred t'_3
  & t_4 \nred t'_4
  }{%
    t_1 t_2 t_3 t_4 \nred t'_1 t'_2 t'_3 t'_4
  }
\]

\end{document}