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 vote335 views1 answer
Nslookup dns stack overflow
Assembly
0 vote347 views1 answer
__init__() got an unexpected keyword argument 'categorical_features'
Assembly
0 vote353 views1 answer
Html drag and drop anywhere
Assembly
1 vote439 views1 answer
Jupyter list notebooks
Assembly
0 vote335 views1 answer
Resize pdf file
Assembly
0 vote351 views3 answers
How to open chrome in vbscript
Assembly
0 vote356 views1 answer
Glsl uniform struct
Assembly
6 votes439 views2 answers
How to filing the missing data by mean of row in dataframe in pandas
Assembly
13 votes438 views6 answers
Flutter button border radius
Assembly
0 vote326 views2 answers
Wget output filename
Assembly