Hi, since the pom specifies the encoding of our source files as well as the generated HTML files of the Javadoc, it occured to me that it is possible to use UTF-8 characters in the Javadoc comments. I think using Γ instead of Γ, or ≤ instead of ≤ increases readability of the source files. However, to the best of my knowledge, UTF-8 characters are not used in our source files. Is there a reason for this? Do you object to my using these in the Gamma and Beta classes?
Best regards, Sébastien
