[Doxygen-develop] Additional HTML character entities (for Greek symbols, etc.)

[Charles K. <cha...@sr...>]

I'm interested in adding support to Doxygen for the following HTML
character entities:

* Upper case greek: Γ Δ Θ Λ Ξ Π Σ
     Υ Φ Ψ Ω
* Lower case greek: α β γ δ ε ζ
     η θ ι κ λ μ ν ξ π ρ
     σ τ υ φ χ ψ ω
* Variants of lower case greek: ϵ ϑ ϰ
     ϖ ϱ ς ϕ
* Inequality relations: ≤ ≥ ≠

This all looks pretty straightforward (search for all occurrences of
AElig in the source and do the obvious thing).

* Please let me know if someone already has this in hand.
* Are there any potential pitfalls I should be aware of?
* Are there other HTML character entities I should consider adding?

Thanks.

-- 
Charles Karney <cha...@sr...>
SRI International, Princeton, NJ 08543-5300

Tel: +1 609 734 2312
Fax: +1 609 734 2662