Smarty Pants: More Unicode Characters

[Christoph Freitag]

Hi to you all,

even if this is not new at all I would nevertheless like to put forward 
my list of unicode character substitutions that I would like to see 
implemented in a future version of Smarty Pants:

you type   | output			| Unicode
-----------|----------------|---------
(c), (C)   |   ©			| 00A9
(P), (p)   |   ℗			| 2117
(tm)       |   ™			| 2122
(R), (r)   |   ®			| 00AE
(+)        |   ⊕			| 2295
(/)        |   ∅			| 2300
(x)        |   ⊗			| 2297
(.)        |   ⊙			| 2299

:), :-)    |   ☺			| 263a

:(, :-(    |   ☹				| 2639

->	       | (configurable)	| 2192 (e.g.)
=>         | (configurable)	| 2102 (e.g.)
<=>	       |   ⇔ 			| 2104
 >=         |   ≥			| 2265
<=         |   ≤			| 2264
/=         |   ≠			| 2260
1/2        |   ½			| 00BD
1/3        |   ⅓				| 2153
2/3        |   ⅔				| 2154
1/4        |   ¼			| 00BC
3/4        |   ¾			| 00BE

etc. etc. There are many more.

It would be best if the user could specifiy these substitutions in a 
definition table at the top of the script (or maybe in an external 
file). This is also because I am not so sure about enclosed numerals, 
like (1) -> ➀. If the user could define that when needed ... fine!

Further, one may think of including MathML ... In fact I did not check 
if the "ASCII"-version of the mathematical operators in the first 
coloumn in the table above actually correspond to their MathML 
counterparts. Please forgive me.

-- c.f