Who Cites qnum?
qnum	Def p/q == <p,q>
	Thm* n:, d:. n/d

Syntax:

p/q

has structure:

qnum(p; q)

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