\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}