On 2011/05/23 22:15:38, Bertrand Bordage wrote:
Yes. Knowing this, I suggest we keep whitespaces, punctuation, quotes and
word
dividers (with some small changes).
There's still something that bothers me : isn't there some special
characters
that you can't do with you keyboard ? Even on linux I can't type some symbols like ſ or • without
copying/pasting.
So, to your question "What is the advantage to typing \\aa instead of
å?" I
answer "I don't have any key for this".
See the Wikipedia entry on Unicode input for ways to get characters that aren't on your keyboard: <http://en.wikipedia.org/wiki/Unicode_input> HTH, Carl http://codereview.appspot.com/4553056/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel