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 vote171 views1 answer
Spliting dateetimeindedx into date and time column
Assembly
0 vote162 views1 answer
Creating a sparse-file with dd
Assembly
0 vote155 views1 answer
Open new terminal window mac
Assembly
-1 vote149 views1 answer
Google appscripts cell get background color
Assembly
-1 vote145 views4 answers
New year
Assembly
2 votes249 views2 answers
Google docs if empty
Assembly
0 vote159 views1 answer
How to check if chat is nsfw discord.py
Assembly
2 votes259 views1 answer
Func assembly
Assembly
0 vote170 views2 answers
Chrome version command line
Assembly
0 vote157 views1 answer
How to check assembly compatibility X64 and x86
Assembly