* @copyright 2005 bertrand Gugger * @license http://www.gnu.org/copyleft/lesser.html LGPL License 2.1 * @version CVS: $Id: Specialchar.php,v 1.1 2005/08/15 11:10:36 toggg Exp $ * @link http://pear.php.net/package/Text_Wiki */ /** * This class renders special characters in Latex. * * @category Text * @package Text_Wiki * @author Bertrand Gugger * @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']; } } } ?>