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 vote197 views1 answer
Import svg in google slides
Assembly
2 votes368 views2 answers
Fatal error: opencv2/core/version.hpp: No such file or directory
Assembly
0 vote195 views1 answer
Latex image textwidth
Assembly
0 vote193 views1 answer
Dd utility skip
Assembly
0 vote173 views1 answer
Cmd to know the version of a programm
Assembly
0 vote191 views1 answer
Google apps script format date string
Assembly
0 vote186 views1 answer
How to check if chat is nsfw discord.py
Assembly
1 vote254 views1 answer
MOD OPERATOR for register in arm assembly
Assembly
9 votes387 views2 answers
Learn assembly
Assembly
0 vote183 views1 answer
Post a gif in github
Assembly