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 <colinpilb...@gmail.com> 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
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to