Who Cites preserved by?
preserved_by	Def R preserves P == x,y:T. P(x)  (x R y)  P(y)
	Thm* T:Type, P:(TProp), R:(TTProp). R preserves P  Prop

Syntax:

R preserves P

has structure:

preserved_by(T; R; P)

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html