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

112 votes240 views10 answers
Visual studio code
Assembly
0 vote217 views1 answer
Wstring to lpcwstr
Assembly
0 vote218 views1 answer
IPL_DEPTH_LABEL
Assembly
0 vote257 views1 answer
That long word from mary poppins
Assembly
0 vote233 views1 answer
Assembly fibonacci
Assembly
1 vote259 views2 answers
Pytorch list gpus
Assembly
0 vote217 views1 answer
Include code in latex
Assembly
0 vote254 views1 answer
Error: failed to synchronize all the database archlinux
Assembly
0 vote211 views1 answer
Pycryptodome aes 256 cbc
Assembly
0 vote222 views1 answer
Tqdm iterate over range
Assembly