Philip Wadler

2018-02-08 21:36:13 UTC

The documentation says that one should type

\^l

to get a superscript l in unicode, and similarly for superscript r.

However, the documentation also says that one should type the exact same

sequence

\^l

to get a leftward pointing superscript arrow, and similarly with r for a

rightward pointing arrow.

In my emacs, the latter wins out. How do I get a superscript l or r letter?

Cheers, -- P

. \ Philip Wadler, Professor of Theoretical Computer Science,

. /\ School of Informatics, University of Edinburgh

. / \ and Senior Research Fellow, IOHK

. http://homepages.inf.ed.ac.uk/wadler/

\^l

to get a superscript l in unicode, and similarly for superscript r.

However, the documentation also says that one should type the exact same

sequence

\^l

to get a leftward pointing superscript arrow, and similarly with r for a

rightward pointing arrow.

In my emacs, the latter wins out. How do I get a superscript l or r letter?

Cheers, -- P

. \ Philip Wadler, Professor of Theoretical Computer Science,

. /\ School of Informatics, University of Edinburgh

. / \ and Senior Research Fellow, IOHK

. http://homepages.inf.ed.ac.uk/wadler/