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

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

My goal is to be able to include text such as

   φ %le; 30°

in my source code and have the generated HTML documentation resemble the
TeX math: $\phi \le 30^\circ$.  I would prefer not to have to deal with
UTF-8 characters in my source files; lots of things will start to go
awry if I don't stick with plain old 7-bit ASCII in my source; also it's
faster for me to touch type φ than to figure out how to generate the
UTF-8.  (Oh and the generated HTML will just contain φ etc.)

There was already a mechanism for dealing with HTML entities and it was
simple enough to expand this.  Here's the list I ended up implementing
(I constrained myself to entities which appear correctly with the
default fonts for Firefox, Konqueror, and Internet Explorer).

* Upper case Greek: Γ Δ Θ Λ Ξ Π Σ
   Υ Φ Ψ Ω

* Lower case Greek: α β γ δ ε ζ
   η θ ι κ λ μ ν ξ π ρ
   σ τ υ φ χ ψ ω ς

* Miscellaneous math symbols: § ° ′ ″ ∞
   ∅ ± × − ⋅ ∂ ∇ √ ⊥
   ∑ ∫ ∏ ∼ ≈ ≠ ≡ ∝ ≤ ≥ ←
   → ∈ ∉ ⌈ ⌉ ⌊ ⌋


On 2012-06-19 06:50, Petr Prikryl wrote:
>> From: Charles Karney
>> Sent: Thursday, June 14, 2012 7:17 PM
>>
>> 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?
>
> In my opinion, the UTF-8 support is the way to go.  If the translator
> class supports UTF-8, there should be no problem with generation of
> the HTML in the UTF-8 encoding.
>
> What is your exact goal?  Do you mean to translate the entities
> from the source file into normal characters?
>
> Thanks,
>     Petr