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

2 votes198 views2 answers
Google docs if empty
Assembly
0 vote142 views1 answer
Cannot open self /usr/local/bin/docker-compose
Assembly
0 vote129 views1 answer
Creating a sparse-file with dd
Assembly
0 vote120 views1 answer
ARM assembly divide by 2
Assembly
0 vote117 views1 answer
Discord bot remove message
Assembly
0 vote120 views1 answer
IPL_DEPTH_LABEL
Assembly
0 vote120 views2 answers
Wget output filename
Assembly
0 vote120 views1 answer
Nano error reading lock file not enough data read
Assembly
0 vote125 views1 answer
Chrome extension debug log messages
Assembly
1 vote188 views1 answer
Sqlalchemy filter date today
Assembly