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 vote117 views1 answer
Vba concatenate strings and integer
Assembly
0 vote125 views1 answer
Tqdm iterate over range
Assembly
0 vote118 views1 answer
Wstring to lpcwstr
Assembly
0 vote122 views1 answer
Import pyautogui Traceback (most recent call last): File "<stdin>", line 1, in <module> ImportError: No module named pyautogui
Assembly
0 vote116 views1 answer
How to check assembly compatibility X64 and x86
Assembly
0 vote120 views1 answer
Android studio manually add copyright
Assembly
2 votes199 views1 answer
Django template url with parameter
Assembly
0 vote135 views1 answer
That long word from mary poppins
Assembly
0 vote156 views1 answer
Discord.py change status to invisible
Assembly
0 vote119 views1 answer
Chrome can't change webcam
Assembly