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 vote405 views1 answer
IPL_DEPTH_LABEL
Assembly
0 vote419 views2 answers
Convert html to text
Assembly
0 vote384 views1 answer
Bidirectional binding between string Property and integerproperty
Assembly
0 vote403 views1 answer
Vba hello world
Assembly
0 vote385 views1 answer
2su.communications.syr.edu]2su.communications.syr.edu
Assembly
0 vote390 views1 answer
How to check assembly compatibility X64 and x86
Assembly
0 vote404 views1 answer
Cron job when out of time
Assembly
0 vote374 views1 answer
Journalctl not showing all logs
Assembly
9 votes473 views2 answers
Learn assembly
Assembly
0 vote401 views1 answer
Generate random strings only with uppercase letters and digits in Python
Assembly