Raising the comments formatting issue, again.
We agreed that UTF-8 characters can be used. Should we go further and further so as to use them in formulae that "translitterates" the code implemented? Since the Javadoc is mainly intended for Java programmers, I think that the comment does not need to be excessively "beautified". An additional argument is that the (plain) Javadoc will never match the "correct" (LaTeX) layout, so that we are left with a hybrid: part Java statement syntax, part mathematical notation, part neither (like the caret "^" character when used to represent exponentiation).
IMHO, in the class Javadoc, it is enough to use links (to "reference" sites). If necessary, beautified formulae could be added there (and in the user guide).
In a method's Javadoc, I'd tend to stay close to the programming language syntax.