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 vote177 views1 answer
Vba concatenate strings and integer
Assembly
0 vote179 views1 answer
Vba check if object exists
Assembly
0 vote174 views1 answer
Include code in latex
Assembly
0 vote177 views1 answer
ARM assembly divide by 2
Assembly
0 vote195 views1 answer
Pycryptodome aes 256 cbc
Assembly
0 vote189 views1 answer
Chrome extension debug log messages
Assembly
0 vote171 views1 answer
Latex image textwidth
Assembly
0 vote209 views1 answer
Import pyautogui Traceback (most recent call last): File "<stdin>", line 1, in <module> ImportError: No module named pyautogui
Assembly
0 vote196 views1 answer
Program in assembly language to find even numbers from 1 to 10
Assembly
0 vote186 views1 answer
Assembly mov char
Assembly