Any editor, on Linux, if you have your keyboard set up to type Greek letters and the Unicode symbols that you use frequently. I can do it directly in the commen

Any editor, on Linux, if you have your keyboard set up to type Greek letters and the Unicode symbols that you use frequently. I can do it directly in the comment box: ξ