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 vote393 views1 answer
Assembly mov char
Assembly
0 vote449 views1 answer
Multiply two numbers assembly lmc
Assembly
0 vote388 views1 answer
Vba hello world
Assembly
0 vote367 views1 answer
Assign value to struct variable
Assembly
0 vote388 views1 answer
Latex image textwidth
Assembly
0 vote391 views1 answer
Sparsefile
Assembly
1 vote485 views1 answer
Slt assembly
Assembly
0 vote437 views1 answer
Io mapped io and memory mapped io in 8085
Assembly
-1 vote372 views1 answer
How to check whether a row contains a numeric value or not in df
Assembly
0 vote371 views1 answer
Set assembly highligh vim
Assembly