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

Charles Karney wrote:
>
> 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).

I see.  You should probably discuss that directly with Dimitri because
he is the one to accept/refuse the code.  He may know what the pitfalls
are.  It may be related to the other-format output generators (like 
the LaTeX one). 

Petr

------------------------------------------------------------------------------
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 
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/