<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<tt>Hi Phil,<br>
<br>
The problem comes from the unicode standard itself so there's
nothing we<br>
can do about it unfortunately.<br>
<br>
<a class="moz-txt-link-freetext" href="https://en.wikipedia.org/wiki/Unicode_subscripts_and_superscripts#Latin_and_Greek_tables">https://en.wikipedia.org/wiki/Unicode_subscripts_and_superscripts#Latin_and_Greek_tables</a><br>
<br>
Cheers,<br>
--<br>
gallais<br>
</tt><br>
<div class="moz-cite-prefix">On 26/06/18 21:37, Philip Wadler wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAESRbcovJpYL_CE0JT1-2=NLvaCLNMsYjCFmOKLszDGUPvqUjg@mail.gmail.com">
<div dir="ltr">In Agda Emacs mode, only some letters are available
as subscripts and superscripts (via, e.g., \^i and \_i). Is
there a reason for this? Can it be fixed? Subscripts and
superscripts are often helpful, and it would be more helpful
still to have the entire alphabet available. Cheers, -- P
<div><br>
</div>
<div>
<div>
<pre class="gmail-Agda" style="margin:0px 0px 15px;padding:0.4em;font-size:0.85em;border:1px solid rgb(201,225,246);border-radius:3px;background:rgb(232,242,251);overflow-x:auto;font-family:"DejaVu Sans Mono",Monaco,"Source Code Pro","Courier New",Menlo,"Ludica Console","Liberation Mono",monospace,serif;color:rgb(17,17,17);text-decoration-style:initial;text-decoration-color:initial"><a id="gmail-185" class="gmail-Comment" style="color:rgb(178,34,34);text-decoration:none" moz-do-not-send="true">--------------------------|
abcdefghijklmnopqrstuvwxyz|
ABCDEFGHIJKLMNOPQRSTUVWXYZ|
ᵃᵇᶜᵈᵉᶠᵍʰⁱʲᵏˡᵐⁿᵒᵖ ʳˢᵗᵘᵛʷˣʸᶻ|
ᴬᴮ ᴰᴱ ᴳᴴᴵᴶᴷᴸᴹᴺᴼᴾ ᴿ ᵀᵁⱽᵂ |
ₐ ₑ ᵢⱼ ₒ ᵣ ᵤ ₓ |
--------------------------|
------------------------|
αβγδεζηθικλμνξοπρστυφχψω|
ΑΒΓΔΕΖΗΘΙΚΛΜΝΞΟΠΡΣΤΥΦΧΨΩ|
------------------------|
----------|
0123456789|
⁰¹²³⁴⁵⁶⁷⁸⁹|
₀₁₂₃₄₅₆₇₈₉|
----------|</a></pre>
<br>
</div>
<div><br>
</div>
<div><br clear="all">
<div>
<div class="gmail_signature">
<div dir="ltr">
<div>
<div dir="ltr">
<div>
<div dir="ltr">. \ Philip Wadler, Professor of
Theoretical Computer Science,<br>
. /\ School of Informatics, University of
Edinburgh<br>
</div>
<div>. / \ and Senior Research Fellow, IOHK<br>
</div>
<div dir="ltr">. <span><a
href="http://homepages.inf.ed.ac.uk/wadler/"
target="_blank" moz-do-not-send="true">http://homepages.inf.ed.ac.uk/wadler/</a></span></div>
</div>
<div dir="ltr"><br>
</div>
<div>Too brief? Here's why: <a
href="http://www.emailcharter.org/"
target="_blank" moz-do-not-send="true">http://www.emailcharter.org/</a></div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<!--'"--><br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
</pre>
<!--'"--><br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Agda mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a>
<a class="moz-txt-link-freetext" href="https://lists.chalmers.se/mailman/listinfo/agda">https://lists.chalmers.se/mailman/listinfo/agda</a>
</pre>
</blockquote>
<br>
</body>
</html>