[ Mini Kiebo ]
Server: Windows NT DESKTOP-5B8S0D4 6.2 build 9200 (Windows 8 Professional Edition) i586
Path:
D:
/
xampp182
/
php
/
pear
/
Text
/
Wiki
/
Render
/
Latex
/
[
Home
]
File: Specialchar.php
<?php // vim: set expandtab tabstop=4 shiftwidth=4 softtabstop=4: /** * Specialchar rule end renderer for Latex * * PHP versions 4 and 5 * * @category Text * @package Text_Wiki * @author Bertrand Gugger <bertrand@toggg.com> * @copyright 2005 bertrand Gugger * @license http://www.gnu.org/copyleft/lesser.html LGPL License 2.1 * @version CVS: $Id: Specialchar.php 193499 2005-08-15 11:10:38Z toggg $ * @link http://pear.php.net/package/Text_Wiki */ /** * This class renders special characters in Latex. * * @category Text * @package Text_Wiki * @author Bertrand Gugger <bertrand@toggg.com> * @copyright 2005 bertrand Gugger * @license http://www.gnu.org/copyleft/lesser.html LGPL License 2.1 * @version Release: @package_version@ * @link http://pear.php.net/package/Text_Wiki */ class Text_Wiki_Render_Latex_SpecialChar extends Text_Wiki_Render { var $types = array('~bs~' => '\\\\', '~hs~' => '\hspace{1em}', '~amp~' => '\&', '~ldq~' => '``', '~rdq~' => "''", '~lsq~' => '`', '~rsq~' => "'", '~c~' => '\copyright', '~--~' => '---', '" -- "' => '---', '" -- "' => '---', '~lt~' => '<', '~gt~' => '>'); function token($options) { if (isset($this->types[$options['char']])) { return $this->types[$options['char']]; } else { return $options['char']; } } } ?>