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 vote151 views2 answers
Wget output filename
Assembly
2 votes229 views1 answer
Array month name
Assembly
0 vote164 views1 answer
That long word from mary poppins
Assembly
0 vote149 views1 answer
__init__() got an unexpected keyword argument 'categorical_features'
Assembly
0 vote140 views1 answer
Bidirectional binding between string Property and integerproperty
Assembly
0 vote150 views1 answer
Chrome extension debug log messages
Assembly
0 vote151 views1 answer
Pycryptodome aes 256 cbc
Assembly
0 vote155 views1 answer
Spliting dateetimeindedx into date and time column
Assembly
0 vote169 views1 answer
Cannot open self /usr/local/bin/docker-compose
Assembly
0 vote143 views1 answer
Html drag and drop anywhere
Assembly