[LON-CAPA-cvs] cvs: modules /gerd symbolfont.pl

[www]

www		Thu May 26 15:46:57 2005 EDT

  Modified files:              
    /modules/gerd	symbolfont.pl 
  Log:
  Some more symbols
  
  
Index: modules/gerd/symbolfont.pl
diff -u modules/gerd/symbolfont.pl:1.2 modules/gerd/symbolfont.pl:1.3
--- modules/gerd/symbolfont.pl:1.2	Thu May 26 11:05:06 2005
+++ modules/gerd/symbolfont.pl	Thu May 26 15:46:55 2005
@@ -112,43 +112,19 @@
 'Í' => '\subseteq',
 'Î' => '\in',
 'Ï' => '\not\in',
-'Ð' => '\ang',
+'Ð' => '\angle',
 'Ñ' => '\nabla',
 'Õ' => '\prod',
-'Ö' => '\radic',
-'×' => '\sdot',
-'Ù' => '\and',
-'Ú' => '\or',
+'Ö' => '\surd',
+'×' => '\cdot',
+'Ù' => '\wedge',
+'Ú' => '\wee',
 'å' => '\sum',
 'ò' => '\int',
-'¾' => '\#9135',
-'á' => '\lang',
-'æ' => '\#9115',
-'ç' => '\#9116',
-'è' => '\#9117',
-'é' => '\#9121',
-'ê' => '\#9122',
-'ë' => '\#9123',
-'ì' => '\#9127',
-'í' => '\#9128',
-'î' => '\#9129',
-'ï' => '\#9130',
-'ñ' => '\rang',
-'ó' => '\#8992',
-'õ' => '\#8993',
-'ô' => '\#9134',
-'ö' => '\#9118',
-'÷' => '\#9119',
-'ø' => '\#9120',
-'ù' => '\#9124',
-'ú' => '\#9125',
-'û' => '\#9126',
-'ü' => '\#9131',
-'ý' => '\#9132',
-'þ' => '\#9133',
-'½' => '\#9168',
-'à' => '\loz',
-'§' => '\clubs',
-'¨' => '\diams',
-'©' => '\hearts',
-'ª' => '\spades',
+'á' => '\langle',
+'ñ' => '\rangle',
+'à' => '\diamondsuit',
+'§' => '\clubsuit',
+'¨' => '\diamondsuit',
+'©' => '\heartsuit',
+'ª' => '\spadesuit',