.dv xgp
.fo 0 fonts1;30vrx rwskst
.fo 1 fonts;30vrb kst
.fo 2 fonts;30vri kst
.fo 3 fonts;37vrb kst
.fo 4 fonts;s30grk kst
.fo 5 fonts;sup kst
.fo 6 fonts;37vxms kst
.fo 7 fonts;s25apl kst
.fo 8 fonts;25fr kst
.fo 9 fonts;s35ger kst
.fo A fonts;31vr kst
.fo B fonts;25vr kst
.nr verbose 1
.nr both_sides 1
.nr tty_table_of_contents 1
.nr chapter_starts_page 1
.sr figure_name Figure \
.nr immediate_figure 1
.nr chapter 0
.nr reset_per_page 0
.sr left_heading date
.sr right_heading DRAFT
.so r;div rmac
.so rws;index rmac
.so r;r macros
.tr ` 
.tr @
.ls 1.5
 and
.ec a
 bottom
.ec b
 down arrow
.ec c
 equivalence
.ec d
 epsilon
.ec e
 right arrow
.ec f
 >=
.ec g
 up arrow
.ec h
 <->
.ec i
 union (join)
.ec j
 |-
.ec k
 lambda
.ec l
 intersection (meet)
.ec m
 not
.ec n
 or
.ec o
 domain sum
.ec p
 <=
.ec q
 define
.ec r	
 subset
.ec s
 top
.ec t
 left arrow
.ec u
 for all
.ec v
 there exists
.ec w
 domain cross product
.ec x
 left double bracket
.ec y
 right double bracket
.ec z
.so cluser;chap2 r
 so cluser;chapt3 r
.so cluser;chap5 r
 so cluser;chap1 r
 so cluser;chap4 r
