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 vote242 views1 answer
Dd utility seek
Assembly
0 vote261 views1 answer
Windows detect system dark mode
Assembly
9 votes275 views2 answers
Learn assembly
Assembly
1 vote301 views1 answer
Slt assembly
Assembly
0 vote226 views1 answer
Pycryptodome aes 256 cbc
Assembly
0 vote244 views3 answers
Jinja loop index
Assembly
2 votes284 views1 answer
Array month name
Assembly
2 votes295 views1 answer
Django template url with parameter
Assembly
0 vote243 views1 answer
Re optional
Assembly
2 votes301 views2 answers
Fatal error: opencv2/core/version.hpp: No such file or directory
Assembly