Colin, Do:
z_print_theory “z_relations”; and you will see lots of examples. (I think you are missing the character that terminates the superscripting.) Regards, Rob. On 20 May 2014, at 00:24, Colin Pilbrow <[email protected]> wrote: > Hello Rob, > I am trying to get the inverse of a relation in proofpower. > The following doesn't work: > calendar = map↗~; > And gives the error > The following variable is free: > z[↗~] > I found a previous email that suggested it requires a couple of arrows, > however the example attachment for the email was lost. > Can you please tell me how to get this working, > Thanks, > Colin Pilbrow > Waikato University
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
