Typing greek letters in notebook

[mapio]

I've long hoped for a solution to #806, #3315, and #3677 but apparently there will be no progress from the developers.

For all the users that would really like to have such feature, the Greek Alphabet Snippets extension can be helpful.

[mapio]

See also #9363 (comment) for another package that offers (if properly configured) even more completions.