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 vote186 views1 answer
Assembly language loop example masm
Assembly
0 vote213 views1 answer
Windows detect system dark mode
Assembly
0 vote180 views1 answer
Nslookup dns stack overflow
Assembly
0 vote188 views1 answer
User' does not contain a definition for 'Confirm Password' and no extension method 'Confirm Password' accepting a first argument of type 'User' could be found (are you missing a using directive or an assembly reference?)
Assembly
0 vote188 views1 answer
Vba check if shape name exists
Assembly
112 votes208 views10 answers
Visual studio code
Assembly
0 vote179 views1 answer
Wstring to lpcwstr
Assembly
0 vote198 views3 answers
How to open chrome in vbscript
Assembly
0 vote182 views1 answer
Pycryptodome aes 256 cbc
Assembly
0 vote255 views1 answer
Cannot open self /usr/local/bin/docker-compose
Assembly