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 vote400 views1 answer
Scanf prototype in c
Assembly
-1 vote399 views1 answer
How to check whether a row contains a numeric value or not in df
Assembly
0 vote411 views1 answer
Assembly fibonacci
Assembly
0 vote403 views1 answer
Javafx observable collection
Assembly
0 vote419 views1 answer
IPL_DEPTH_LABEL
Assembly
112 votes463 views10 answers
Visual studio code
Assembly
1 vote445 views1 answer
Pickle write in directory
Assembly
-1 vote391 views1 answer
Assembly print
Assembly
0 vote394 views1 answer
__init__() got an unexpected keyword argument 'categorical_features'
Assembly
1 vote510 views1 answer
Sqlalchemy filter date today
Assembly