Re: Additional HTML character entities (for Greek symbols, etc.)

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