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 vote331 views1 answer
Vba hello world
Assembly
0 vote321 views1 answer
Sort in assembly pcspim
Assembly
1 vote385 views1 answer
Sqlalchemy filter date today
Assembly
0 vote317 views1 answer
Vba check if shape name exists
Assembly
0 vote317 views1 answer
How to listen for changes on an ObservableMap
Assembly
0 vote323 views1 answer
Error: ‘cv’ is not a namespace-name using namespace cv;
Assembly
0 vote333 views1 answer
Generate random strings only with uppercase letters and digits in Python
Assembly
1 vote350 views1 answer
MOD OPERATOR for register in arm assembly
Assembly
0 vote328 views1 answer
Glsl uniform struct
Assembly
2 votes380 views1 answer
Django template url with parameter
Assembly