Z Schema 和页面限制

Z Schema 和页面限制

我有一份带有 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}

相关内容