Who Cites pm equal?
pm_equal	Def i =  j == i = j    i = -j
	Thm* a,b:. a =  b  Prop

Syntax:

i =  j

has structure:

pm_equal(i; j)

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