\documentclass[a4paper,12pt]{article} \begin{document} \title{Formal Z Specification Case 1} \author{Dr.

BAHARI BIN IDRUS} \date{\ 21 May 2013} \maketitle

Amirah Diyana Binti Hasan Basri A141947 \newpage [STUDENT, FACULTY, COURSES] \newline \begin{schema}{Registration} stu: \power STUDENT \\ fac: \power FACULTY \\ courses: \power COURSES \\ takes: STUDENT \iff COURSES \\ given_by: COURSES \iff FACULTY \\ \where \dom \ran \dom \ran takes \subseteq stu \\ takes \subseteq courses \\ given_by \subseteq courses \\ given_by \subseteq fac \\

\end{schema} \end {document}