The current definition of letter includes a..z and A..Z, _, del, high
minus and underscored del.

I would like to request three additional UTF-8 characters to be added:

Overline E2 80 BE (UTF-8), complementary to _ (underline)

Combining underline CC B2 (UTF-8) -- if this follows a letter, the
letter is rendered with an underline.

Combining overline CC 85 (UTF-8)-- if this follows a letter, the letter
is rendered with an overline.

As well, I would like combining overline to be included in the
definition of numeric digit: this can be used to mark digits as
repeating in code: 0.3(overbar) could be expanded to 0.33.. (as many as
needed to fill the precision). 2.1(overbar)2(overbar) should become
2.121212... (as many as needed).

Of course, I am be insane (my mother never had me tested).

Fred Weigel

Reply via email to