% -*- mode: LaTeX; coding: utf-8 -*-
% Typeset with: XeLaTeX

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

% Greek fonts
\RequirePackage[cm-default]{fontspec}
\defaultfontfeatures{Mapping=tex-text}
  % you may want to try: {FreeSerif} or {Times New Roman}
\setmainfont{Liberation Serif}
  % you may want to try: {FreeSans} or {Arial}
\setsansfont[Scale=MatchLowercase]{Liberation Sans}
  % you may want to try: {FreeMono} or {Courier New}
\setmonofont[Scale=MatchLowercase]{Liberation Mono}

% More packages and macros
\usepackage[inference]{semantic}

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

% Main document
\begin{document}
\title{1η Σειρά Ασκήσεων}
\author{Όνομα Επώνυμο}
\date{11 Νοεμβρίου 2010}
\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
  }
\]

Η εντολή \verb|goto| είναι επικίνδυνη και πρέπει να απαγορευτεί!
Ο Dijkstra το έλεγε πολύ καιρό αλλά δεν τον ακούγαμε.
Να λοιπόν ένα παράδειγμα προγράμματος που το αποδεικνύει:
\begin{verbatim}
#include "stdio.h"

int main ()
{
  loop:
    printf("Επικίνδυνη!\n");
    goto loop;
}
\end{verbatim}

\end{document}
