\documentclass[11pt]{article}
\usepackage{oz}
\begin{document}

Multi-letter identifiers have been changed to look
better than they do with vanilla \LaTeX: instead of
$\mathit{specifications}$, you get $specifications$.
The letters haven't been spread apart, and the
ligature $fi$ has been used.

{\tt This is in typewriter font}


\begin{schema}{BirthdayBook}
    known: \pset NAME \\
    birthday: NAME \pfun DATE
\ST
    known = \dom birthday
\end{schema}

\begin{axdef}
limit : \nat
\ST
limit \leq 65536
\end{axdef}

\begin{class}{Shape}
\also
colour : Colour \\
\end{class}

\begin{axdef}
perim : \real
\ST
perim > 0
\end{axdef} 

\end{document}
