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 vote297 views1 answer
Regex find a word index of all matches
Assembly
2 votes376 views1 answer
Does telegrsam have its official desktop app
Assembly
-1 vote306 views1 answer
How to check whether a row contains a numeric value or not in df
Assembly
0 vote343 views1 answer
Error: failed to synchronize all the database archlinux
Assembly
0 vote325 views1 answer
Javafx fxml loader example
Assembly
6 votes364 views2 answers
How to filing the missing data by mean of row in dataframe in pandas
Assembly
0 vote284 views1 answer
Eclipse word wrap wrap
Assembly
1 vote367 views1 answer
Jupyter list notebooks
Assembly
2 votes394 views1 answer
Cancel shutdown timer
Assembly
0 vote292 views1 answer
Resize pdf file
Assembly