z_print_theory “z_relations”;

and you will see lots of examples. (I think you are missing the character that 
terminates the superscripting.)



On 20 May 2014, at 00:24, Colin Pilbrow <> 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

Reply via email to