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 vote330 views1 answer
How to check assembly compatibility X64 and x86
Assembly
1 vote419 views1 answer
Slt assembly
Assembly
0 vote342 views1 answer
Assembly fibonacci
Assembly
0 vote306 views1 answer
Docker cannot stop container
Assembly
0 vote337 views3 answers
How to open chrome in vbscript
Assembly
0 vote336 views1 answer
Cron job when not enough time
Assembly
0 vote317 views1 answer
Include code in latex
Assembly
0 vote327 views1 answer
__init__() got an unexpected keyword argument 'categorical_features'
Assembly
0 vote321 views1 answer
Nano error reading lock file not enough data read
Assembly
0 vote320 views1 answer
Open new terminal window mac
Assembly