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

6 votes166 views2 answers
How to filing the missing data by mean of row in dataframe in pandas
Assembly
0 vote125 views1 answer
Scanf prototype in c
Assembly
45 votes90 views3 answers
The answer to life the universe and everything
Assembly
0 vote129 views1 answer
Set assembly highligh vim
Assembly
-1 vote119 views1 answer
Assembly print
Assembly
13 votes163 views6 answers
Flutter button border radius
Assembly
0 vote118 views1 answer
Openssl public key der to pem
Assembly
0 vote118 views1 answer
Bidirectional binding between string Property and integerproperty
Assembly
0 vote113 views1 answer
Chrome can't change webcam
Assembly
0 vote120 views1 answer
Cmd to know the version of a programm
Assembly