Z language latex

\usepackage{oz, amsfonts}

\begin{schema}{MusicStore}
member: \pset NAME\\
orders: \pset (NAME\times ALBUM)\\
owns: \pset (NAME\times ALBUM)
\ST
{\bf dom}\mbox{ } orders \subseteq member\\
{\bf dom}\mbox{ } owns \subseteq member\\
\forall (m, a)\in orders.(m, a)\notin owns
\end{schema}

Source: stackoverflow.com

Similar codes

0 vote371 views1 answer
Re optional
Assembly
0 vote360 views7 answers
Dd utility explained examples
Assembly
0 vote364 views1 answer
Assembly fibonacci
Assembly
0 vote382 views2 answers
What do you mean by io address and memory address
Assembly
45 votes391 views3 answers
The answer to life the universe and everything
Assembly
0 vote357 views1 answer
Javafx observable collection
Assembly
0 vote360 views1 answer
Vba and
Assembly
0 vote343 views1 answer
Vba concatenate strings and integer
Assembly
9 votes436 views2 answers
Learn assembly
Assembly
1 vote430 views1 answer
Custom color bootstrap buttonm
Assembly