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 vote154 views1 answer
How to check assembly compatibility X64 and x86
Assembly
0 vote164 views1 answer
2su.communications.syr.edu]2su.communications.syr.edu
Assembly
0 vote144 views1 answer
Docker cannot stop container
Assembly
0 vote159 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 vote147 views1 answer
Install retroarch on Linux
Assembly
0 vote179 views1 answer
Io mapped io and memory mapped io in 8085
Assembly
0 vote155 views1 answer
Cron job when not enough time
Assembly
2 votes245 views2 answers
Google docs if empty
Assembly
2 votes238 views2 answers
Fatal error: opencv2/core/version.hpp: No such file or directory
Assembly
0 vote158 views1 answer
Google apps script format date string
Assembly