[Agda] Emacs mode subscripts and superscripts

[Philip Wadler]

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/

[Guillaume Allais]

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

Post by Philip Wadler
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
https://lists.chalmers.se/mailman/listinfo/agda