+ unicode for javadoc