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

1 vote266 views1 answer
Slt assembly
Assembly
6 votes261 views2 answers
How to filing the missing data by mean of row in dataframe in pandas
Assembly
0 vote218 views3 answers
Jinja loop index
Assembly
0 vote226 views1 answer
2su.communications.syr.edu]2su.communications.syr.edu
Assembly
0 vote211 views1 answer
Enter 64 bit mode
Assembly
0 vote201 views1 answer
Node js vulnerabilities
Assembly
3 votes250 views1 answer
Using shape property in flutter for circular corner
Assembly
0 vote198 views1 answer
Eclipse word wrap wrap
Assembly
9 votes245 views2 answers
Learn assembly
Assembly
0 vote209 views1 answer
Dataframe.shape return what?
Assembly