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 <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:
> 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,
> Colin Pilbrow
> Waikato University
Proofpower mailing list