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
Cout boolalpha
Assembly
0 vote136 views1 answer
Import svg in google slides
Assembly
0 vote128 views1 answer
Latex image textwidth
Assembly
1 vote89 views1 answer
Pickle write in directory
Assembly
0 vote137 views1 answer
__init__() got an unexpected keyword argument 'categorical_features'
Assembly
0 vote130 views1 answer
Error: ‘cv’ is not a namespace-name using namespace cv;
Assembly
13 votes213 views6 answers
Flutter button border radius
Assembly
1 vote205 views1 answer
Sqlalchemy filter date today
Assembly
2 votes209 views2 answers
Fatal error: opencv2/core/version.hpp: No such file or directory
Assembly
0 vote132 views1 answer
Socket failed: EPERM (Operation not permitted)
Assembly