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 vote203 views1 answer
Assembly mov char
Assembly
0 vote187 views1 answer
Html drag and drop anywhere
Assembly
0 vote185 views1 answer
Resize pdf file
Assembly
0 vote216 views1 answer
Error: failed to synchronize all the database archlinux
Assembly
2 votes400 views1 answer
Django template url with parameter
Assembly
0 vote201 views1 answer
Sparsefile
Assembly
0 vote207 views1 answer
Cout boolalpha
Assembly
0 vote208 views1 answer
Glsl uniform struct
Assembly
0 vote181 views1 answer
Cmd to know the version of a programm
Assembly
0 vote194 views1 answer
Discord bot remove message
Assembly