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 vote156 views1 answer
Cmd to know the version of a programm
Assembly
0 vote168 views1 answer
Iterate over tqdm range
Assembly
0 vote179 views1 answer
2su.communications.syr.edu]2su.communications.syr.edu
Assembly
1 vote265 views1 answer
Google sheets check if empty
Assembly
0 vote164 views1 answer
ARM assembly divide by 2
Assembly
0 vote194 views1 answer
Io mapped io and memory mapped io in 8085
Assembly
0 vote169 views1 answer
Cron job when not enough time
Assembly
0 vote171 views1 answer
__init__() got an unexpected keyword argument 'categorical_features'
Assembly
112 votes257 views10 answers
Visual studio code
Assembly
-1 vote165 views1 answer
Discord bot edit message
Assembly