\documentclass[a4paper]{article} % Art des Dokuments
\usepackage[german]{babel} % Deutsche automatische Trennung
\usepackage[latin1]{inputenc} % Umlaute können direkt eingegeben
                              % werden, kein Escaping notwendig
\usepackage{times} % Verwende Schriftart Times
\usepackage{amsmath} % Verschiedene Mathe-Hilfen
\usepackage{amssymb} % Mathe-Symbole
\usepackage{z-eves}  % Z-Notations-Befehle

\begin{document}

\begin{schema}{Iterator}
  remaining : \seq \nat
  \where
  % Leer
\end{schema}

\end{document}