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 vote212 views1 answer
Assembly language loop example masm
Assembly
0 vote225 views1 answer
IPL_DEPTH_LABEL
Assembly
0 vote204 views1 answer
ARM assembly divide by 2
Assembly
0 vote201 views1 answer
Html drag and drop anywhere
Assembly
0 vote212 views1 answer
How to check if chat is nsfw discord.py
Assembly
0 vote225 views1 answer
Re optional
Assembly
0 vote212 views3 answers
Jinja loop index
Assembly
0 vote207 views1 answer
Dd utility seek
Assembly
0 vote205 views1 answer
Vba and
Assembly
0 vote221 views1 answer
Program in assembly language to find even numbers from 1 to 10
Assembly