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 vote204 views1 answer
Google apps script format date string
Assembly
0 vote171 views1 answer
Change terminal font color
Assembly
1 vote209 views1 answer
Latex reference labels
Assembly
0 vote207 views3 answers
Jinja loop index
Assembly
0 vote202 views1 answer
Enter 64 bit mode
Assembly
0 vote209 views1 answer
Re optional
Assembly
0 vote187 views1 answer
Docker cannot stop container
Assembly
0 vote210 views1 answer
Assembly fibonacci
Assembly
0 vote223 views1 answer
Jz contion assembly
Assembly
0 vote197 views1 answer
Vmware workstation player disable side channel mitigations
Assembly