--|一流的印刷
模块 GF.文本。很漂亮(模块 GF.文本。很漂亮,模块 聚丙烯) 哪里
进口 有资格的 文本。漂亮打印 作为 聚丙烯
进口 文本。漂亮打印 作为 聚丙烯(文件,样式(..),模式(..),风格,空的,栈空)

班 很漂亮 一 哪里
  聚丙烯 时间： 一 -> 文件
  pp列表 时间： [一] -> 文件
  pp列表 = 【文件】->文件对于所有a.相当a=>[a]->Docfsep（fsep） （[文件]->文件）->（[a]->[文件]）->[a]->文件对于所有的b c a。（b->c）->（a->b）->a->c. （a->文件）->[a]->[文件]对于所有a b.（a->b）->[a]->[b]地图 a->文件对于所有a.相当a=>a->Doc聚丙烯 --嗯

实例 很漂亮 文件 哪里 pp:：文档->文档聚丙烯 = 单据->单据对于所有a.a->a身份证件
实例 很漂亮 国际 哪里 页码：：Int->Doc聚丙烯 = Int->文档PP.int（PP.int）
实例 很漂亮 整数 哪里 pp:：整数->文档聚丙烯 = 整数->文档PP.集成
实例 很漂亮 浮子 哪里 pp:：浮点->文档聚丙烯 = 浮动->单据PP.浮动
实例 很漂亮 双精度 哪里 pp:：双->文档聚丙烯 = 双->文档PP.双
实例 很漂亮 烧焦 哪里 pp：：字符->文档聚丙烯 = 字符->文档PP.char公司; ppList:：[Char]->文档pp列表 = [Char]->文件PP文本

实例 很漂亮 一 => 很漂亮 [一] 哪里
  pp:：[a]->文件聚丙烯 = [a] ->文档对于所有a.相当a=>[a]->Docpp列表
  ppList:：[[a]]->文档pp列表 = 【文件】->文件对于所有a.相当a=>[a]->Docfsep（fsep） （[文件]->文件）->（[[a]->[文件]）->[[a]->文件对于所有的b c a。（b->c）->（a->b）->a->c. （[a]->文件）->[[a]]->[文件]对于所有a b.（a->b）->[a]->[b]地图 [a] ->文档对于所有a.相当a=>a->Doc聚丙烯 --嗯

渲染：：a->[Char]提供 一x个 = 文件->[Char]PP.投标人 (a->文件对于所有a.相当a=>a->Doc聚丙烯 一x个)
渲染80:：a->[Char]效果图80 一x个 = 样式->a->[Char]对于所有的a.相当漂亮a=>风格->a->[Char]渲染样式 样式风格{线条长度：：Int线条长度=国际80,每行带数：：浮点每条线的色带=浮子1} 一x个
renderStyle:：Style->a->[Char]渲染样式 样式秒 一x个 = 样式->文档->[Char]PP.渲染样式 样式秒 (a->文档对于所有a.相当a=>a->Doc聚丙烯 一x个)

中缀 5 $$,$+$
中缀 6 <>,<+>

一x个 $$：：a->a->Doc$$ 一年 = a->文档对于所有a.相当a=>a->Doc聚丙烯 一x个 单据->单据->单据（PP.）$$ a->文件对于所有a.相当a=>a->Doc聚丙烯 一年
一x个 $+$：：a->a->Doc$+$ 一年 = a->文件对于所有a.相当a=>a->Doc聚丙烯 一x个 单据->单据->单据（PP.）$+$ a->文件对于所有a.相当a=>a->Doc聚丙烯 一年
一x个 <+>：：a->a->文档<+> 一年 = a->文件对于所有a.相当a=>a->Doc聚丙烯 一x个 单据->单据->单据PP.<+> a->文件对于所有a.相当a=>a->Doc聚丙烯 一年
一x个 ：a->a->文档<> 一年 = a->文件for all a.漂亮的a=>a->医生聚丙烯 一x个 单据->单据->单据PP.<> a->文件对于所有a.相当a=>a->Doc聚丙烯 一年

大括号：：a->Doc支撑 一x个 = 单据->单据PP.种族 (a->文件for all a.漂亮的a=>a->医生聚丙烯 一x个)
括号：：a->Doc括号 一x个 = 单据->单据PP.支架 (a->文件对于所有a.相当a=>a->Doc聚丙烯 一x个)
cat：：[a]->文档猫 【a】X轴 = 【文件】->文件PP.cat（PP.cat） (（a->文件）->[a]->[文件]对于所有a b.（a->b）->[a]->[b]地图 a->文件对于所有a.相当a=>a->Doc聚丙烯 【a】X轴)
双引号：：a->文档双引号 一x个 = 单据->单据PP.双引号 (a->文件对于所有a.相当a=>a->Doc聚丙烯 一x个)
fcat:：[a]->文档fcat公司 【a】X轴 = 【文件】->文件PP.fcat公司 (（a->文件）->[a]->[文件]对于所有a b.（a->b）->[a]->[b]地图 a->文件对于所有a.相当a=>a->Doc聚丙烯 【a】X轴)
fsep:：[a]->文档fsep（fsep） 【a】X轴 = 【单据】->单据PP.f步骤 (（a->文件）->[a]->[文件]对于所有a b.（a->b）->[a]->[b]地图 a->文件对于所有a.相当a=>a->Doc聚丙烯 【a】X轴)
挂起：：a->Int->a->Doc悬挂 一x个 国际d日 一年 = 单据->Int->单据->单据PP.挂起 (a->文档对于所有a.相当a=>a->Doc聚丙烯 一x个) 国际d日 (a->文件对于所有a.相当a=>a->Doc聚丙烯 一年)
hcat:：[a]->文档hcat公司 【a】X轴 = 【单据】->单据PP.hcat公司 (（a->文件）->[a]->[文件]对于所有a b.（a->b）->[a]->[b]地图 a->文件对于所有a.相当a=>a->Doc聚丙烯 【a】X轴)
hsep:：[a]->文档hsep（高速电磁脉冲） 【a】X轴 = 【文件】->文件PP.hsep（PP.hsep） (（a->文件）->[a]->[文件]对于所有a b.（a->b）->[a]->[b]地图 a->文件对于所有a.相当a=>a->Doc聚丙烯 【a】X轴)
嵌套：：Int->a->Doc巢 国际d日 一x个 = 内部->单据->单据PP.nest（PP.nest） 国际d日 (a->文件对于所有a.相当a=>a->Doc聚丙烯 一x个)
parens:：a->文件父母亲 一x个 = 单据->单据聚丙烯聚丙烯 (a->文件对于所有a.相当a=>a->Doc聚丙烯 一x个)
标点符号：：a->[a]->[Doc]标点符号 一x个 【a】年 = 文件->[文件]->[文件]PP.穿刺 (a->文件for all a.漂亮的a=>a->医生聚丙烯 一x个) (（a->文件）->[a]->[文件]对于所有a b.（a->b）->[a]->[b]地图 a->文件对于所有a.相当a=>a->Doc聚丙烯 【a】年)
引号：：a->文档引用 一x个 = 单据->单据PP.报价 (a->文件对于所有a.相当a=>a->Doc聚丙烯 一x个)
sep:：[a]->文件九月 【a】X轴 = 【文件】->文件PP.步骤 (（a->文件）->[a]->[文件]对于所有a b.（a->b）->[a]->[b]地图 a->文件对于所有a.相当a=>a->Doc聚丙烯 【a】X轴)
vcat:：[a]->文档虚拟通信卫星 【a】X轴 = 【文件】->文件PP.vcat公司 (（a->文件）->[a]->[文件]对于所有a b.（a->b）->[a]->[b]地图 a->文件对于所有a.相当a=>a->Doc聚丙烯 【a】X轴)