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 vote231 views1 answer
Docker cannot stop container
Assembly
0 vote262 views1 answer
Import pyautogui Traceback (most recent call last): File "<stdin>", line 1, in <module> ImportError: No module named pyautogui
Assembly
0 vote238 views1 answer
Nano error reading lock file not enough data read
Assembly
9 votes290 views2 answers
Learn assembly
Assembly
1 vote270 views1 answer
MOD OPERATOR for register in arm assembly
Assembly
1 vote308 views1 answer
Google sheets conditional formatting custom formula current cell
Assembly
0 vote255 views1 answer
Vba hello world
Assembly
0 vote232 views1 answer
Chrome extension debug log messages
Assembly
0 vote246 views1 answer
Vba check if object exists
Assembly
0 vote248 views1 answer
Android studio manually add copyright
Assembly