home *** CD-ROM | disk | FTP | other *** search
/ Cricao de Sites - 650 Layouts Prontos / WebMasters.iso / Servidores / xampp-win32-1.6.7-installer.exe / php / PEAR / Text / Wiki / Render / Latex / Specialchar.php < prev    next >
Encoding:
PHP Script  |  2008-07-02  |  1.6 KB  |  55 lines
  1. <?php
  2. // vim: set expandtab tabstop=4 shiftwidth=4 softtabstop=4:
  3. /**
  4.  * Specialchar rule end renderer for Latex
  5.  *
  6.  * PHP versions 4 and 5
  7.  *
  8.  * @category   Text
  9.  * @package    Text_Wiki
  10.  * @author     Bertrand Gugger <bertrand@toggg.com>
  11.  * @copyright  2005 bertrand Gugger
  12.  * @license    http://www.gnu.org/copyleft/lesser.html  LGPL License 2.1
  13.  * @version    CVS: $Id: Specialchar.php,v 1.1 2005/08/15 11:10:36 toggg Exp $
  14.  * @link       http://pear.php.net/package/Text_Wiki
  15.  */
  16.  
  17. /**
  18.  * This class renders special characters in Latex.
  19.  *
  20.  * @category   Text
  21.  * @package    Text_Wiki
  22.  * @author     Bertrand Gugger <bertrand@toggg.com>
  23.  * @copyright  2005 bertrand Gugger
  24.  * @license    http://www.gnu.org/copyleft/lesser.html  LGPL License 2.1
  25.  * @version    Release: @package_version@
  26.  * @link       http://pear.php.net/package/Text_Wiki
  27.  */
  28. class Text_Wiki_Render_Latex_SpecialChar extends Text_Wiki_Render {
  29.  
  30.     var $types = array('~bs~' => '\\\\',
  31.                        '~hs~' => '\hspace{1em}',
  32.                        '~amp~' => '\&',
  33.                        '~ldq~' => '``',
  34.                        '~rdq~' => "''",
  35.                        '~lsq~' => '`',
  36.                        '~rsq~' => "'",
  37.                        '~c~' => '\copyright',
  38.                        '~--~' => '---',
  39.                        '" -- "' => '---',
  40.                        '" -- "' => '---',
  41.                        '~lt~' => '<',
  42.                        '~gt~' => '>');
  43.  
  44.     function token($options)
  45.     {
  46.         if (isset($this->types[$options['char']])) {
  47.             return $this->types[$options['char']];
  48.         } else {
  49.             return $options['char'];
  50.         }
  51.     }
  52. }
  53.  
  54. ?>
  55.