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 vote177 views1 answer
Chrome extension debug log messages
Assembly
2 votes262 views1 answer
Django template url with parameter
Assembly
9 votes255 views2 answers
Learn assembly
Assembly
1 vote235 views2 answers
Pytorch list gpus
Assembly
0 vote191 views1 answer
Io mapped io and memory mapped io in 8085
Assembly
0 vote170 views1 answer
Google apps script format date string
Assembly
1 vote138 views1 answer
Restart kde
Assembly
0 vote182 views1 answer
Javafx fxml loader example
Assembly
0 vote165 views1 answer
Nano error reading lock file not enough data read
Assembly
6 votes264 views2 answers
How to filing the missing data by mean of row in dataframe in pandas
Assembly