Differences

This shows you the differences between two versions of the page.

--- internal:administration:idl [2026/07/18 07:57] – [type setting] jan
+++ internal:administration:idl [2026/10/17 15:39] (current) – [Fonts] jan
@@ Line 2102: / Line 2102: @@
   * a greek psi\\ %%!7w!X%%
-One may define constants for the different letters:
+One may define constants for the different letters (see def_greek_symbols.pro in my idl/lib):
   c_greek_font = '!4' ; simplex greek
   ;c_greek_font = '!7' ; complex greek