Who Cites sfa doc exteq?
sfa_doc_exteq	Def A =ext B == (X:A. X  B) & (X:B. X  A)

Syntax:

A =ext B

has structure:

sfa_doc_exteq(A; B)

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