[Agda] Emacs mode subscripts and superscripts

Guillaume Allais guillaume.allais at ens-lyon.org
Tue Jun 26 21:48:09 CEST 2018


Hi Phil,

The problem comes from the unicode standard itself so there's nothing we
can do about it unfortunately.

https://en.wikipedia.org/wiki/Unicode_subscripts_and_superscripts#Latin_and_Greek_tables

Cheers,
--
gallais

On 26/06/18 21:37, Philip Wadler wrote:
> 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
>
> --------------------------| abcdefghijklmnopqrstuvwxyz|
> ABCDEFGHIJKLMNOPQRSTUVWXYZ| ᵃᵇᶜᵈᵉᶠᵍʰⁱʲᵏˡᵐⁿᵒᵖ ʳˢᵗᵘᵛʷˣʸᶻ| ᴬᴮ ᴰᴱ
> ᴳᴴᴵᴶᴷᴸᴹᴺᴼᴾ ᴿ ᵀᵁⱽᵂ | ₐ ₑ ᵢⱼ ₒ ᵣ ᵤ ₓ | --------------------------|
> ------------------------| αβγδεζηθικλμνξοπρστυφχψω|
> ΑΒΓΔΕΖΗΘΙΚΛΜΝΞΟΠΡΣΤΥΦΧΨΩ| ------------------------| ----------|
> 0123456789| ⁰¹²³⁴⁵⁶⁷⁸⁹| ₀₁₂₃₄₅₆₇₈₉| ----------|
>
>
>
> .   \ 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/
>
> Too brief? Here's why: http://www.emailcharter.org/
>
>
> The University of Edinburgh is a charitable body, registered in
> Scotland, with registration number SC005336.
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180626/609ed7cb/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180626/609ed7cb/attachment.sig>


More information about the Agda mailing list