1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
<?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,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 <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'];
}
}
}
?>