向我的架构添加限制

Question

编辑：

我的问题是这样的。如何添加限制，以使 {CarBook} 不包含超过 900 个条目？

这是 Gonzalo 的最小完整文档：

\documentstyle[fuzz]{article}

\begin{document}

\begin{schema}{CarBook}
   known: \power NAME \\
   cars: NAME \pfun CARLOCATION \cross CARREG
   \where
   known=\dom cars
 \end{schema}

\end{document}

我正在使用 LaTeX。

Answer 1

更新您的示例以使用标准乳胶语法，而不是模拟 1993 年之前的文档，

\documentclass{article}
\usepackage{oz}
\begin{document}

\begin{schema}{CarBook}
   known: \power NAME \\
   cars: NAME \pfun CARLOCATION \cross CARREG
   \where
   known=\dom cars
 \end{schema}

 The package defines a \verb|\restriction| command $\restriction$ is
 this what you are looking for?

\end{document}

该oz包有一个\restriction命令，但是您没有给出任何关于想要在哪里添加限制符号的提示。