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 vote150 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 vote155 views2 answers
Convert html to text
Assembly
0 vote155 views7 answers
Dd utility explained examples
Assembly
0 vote151 views1 answer
Enter 64 bit mode
Assembly
1 vote216 views1 answer
Slt assembly
Assembly
0 vote152 views1 answer
Dd utility skip
Assembly
2 votes233 views1 answer
Cancel shutdown timer
Assembly
0 vote154 views1 answer
Javafx fxml loader example
Assembly
0 vote152 views1 answer
Import pyautogui Traceback (most recent call last): File "<stdin>", line 1, in <module> ImportError: No module named pyautogui
Assembly
0 vote152 views1 answer
Multiply two numbers assembly lmc
Assembly