Breaking News: Grepper is joining You.com. Read the official announcement!

Z language latex

Arno Deceuninck answered on November 25, 2020 Popularity 8/10 Helpfulness 2/10

answer Z language latex

Z language latex

Comment

\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}

Popularity 8/10 Helpfulness 2/10 Language assembly

Source: stackoverflow.com

Tags: assembly latex

Link to this answer
Share Copy Link