R:(T
TProp), x,y:T. (x R^*^-1 y) 
(x (R^-1^*) y)R:(TTProp), n:
, x,y:T. (x R^n^-1 y) (x R^-1^n y)is mentioned by
| R:(TTProp), x,y:T. (x R^*^-1 y) (x (R^-1^*) y) | [rel_inverse_star] |
| R:(TTProp), n:, x,y:T. (x R^n^-1 y) (x R^-1^n y) | [rel_inverse_exp] |
Try larger context:
MarkB generic
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html