我有一份带有 Z 模式的文档,它比一页还长,而且一些谓词也相当长。我发现我编译的文档丢失了页面末尾模式的下部区域。此外,带有长谓词的行不会在页面上滚动,而是会消失在页面边缘。任何建议都将不胜感激。
\documentclass[12pt,a4paper,titlepage]{article}
\usepackage{multicol}
\usepackage{amsfonts,amssymb,amsmath,mathbbol}
\usepackage{color,graphics,graphicx,epsfig}
\usepackage{rotating,subfig}
\usepackage{caption}
\usepackage[margin=1cm]{geometry}
\captionsetup{font={small,it},labelfont=small}
\usepackage{hyperref} \usepackage{zed-csp}
\def\fuzz{{\large\itshape f\kern0.1em}{\normalsize\textit{} fuzz}}
\let\Fuzz=\fuzz
\def\ZRM{{\rm ZRM}}
\begin{document}
\begin{schema}{\Delta FlightsDatabase}
FlightsDatabase\\
FlightsDatabase'\\
CityA?, CityB? : AIRPORTCITY\\
CityAAC,CityBAC : AIRPORTCODE\\
\where \forall x, y, z : Company,CityAAC,CityBAC |
\ran AirportSet \in {AirportName, CityA? } @ y = CityAAC \Land \ran AirportSet \in {AirportName, CityB? } @ y = CityBAC \implies {CityAAC,CityBAC} \in \ran FlightAPSet @ \dom FlightAPSet \dres FlightCompSet | x = \ran FlightCompSet\\
FlightsDatabase = FlightsDatabase'
\end{schema}{}
\end{document}