htmlSpecCharConv: Html special character conversion
Description
Converts 'txt' so that (the most common) special characters (like 'beta','micro','square' etc) will be displayed correctly whe used for display in html (eg at mouse-over).
Note : The package stringi is required for the conversions (the input will get returned if stringi is not available).
Currently only the 16 most common special characters are implemented.