guerom00 wrote:
Is there a way to insert numeric entities instead of named entities in HTML e.g. & #945; instead of & alpha; and so forth…
You can quite easily modify the command to do this (just take out the part that checks for named entities). But I wonder, Why do you need this?
-Jacob