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 vote365 views1 answer
Android studio manually add copyright
Assembly
0 vote373 views1 answer
Error: ‘cv’ is not a namespace-name using namespace cv;
Assembly
1 vote392 views1 answer
Restart kde
Assembly
0 vote383 views1 answer
Cron job when out of time
Assembly
0 vote386 views1 answer
Assembly mov char
Assembly
0 vote342 views1 answer
Docker cannot stop container
Assembly
1 vote521 views1 answer
The type or namespace name 'IEnumerator' could not be found (are you missing a using directive or an assembly reference?)
Assembly
0 vote373 views7 answers
Dd utility explained examples
Assembly
0 vote358 views1 answer
Vmware workstation player disable side channel mitigations
Assembly
0 vote404 views1 answer
Error: failed to synchronize all the database archlinux
Assembly