Re: Additional HTML character entities (for Greek symbols, etc.)
Charles Karney <charles.karney <at> sri.com>
2012-06-19 15:50:17 GMT
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?
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware