Development

HowToPrintWithLatex: LatexHelper.php

You must first sign up to be able to contribute.

HowToPrintWithLatex: LatexHelper.php

File LatexHelper.php, 0.9 kB (added by skr68, 11 years ago)
Line 
1 <?php
2
3     //   s/\\//g;
4     //   s/([<{_}>])/$Printable_textt{$1}/g;
5     //   s/\n/\\\\/mg;    #newline Zeichen einf´┐Ż   //   s/\x80/\\euro{}/g;
6     
7     function e($text)
8     {
9         /*static $in,$out;
10         if (!is_array($in)) {
11             for ($i = 0;  $i <= 255;) {
12                 $in[$i] = chr();
13                 $out[$i] = "\\symbol{$i}";
14             }
15         }*/
16         $in = array('/"/',
17                     '/&/',
18                     '/%/',
19                     '/\$/',
20                     '/@/',
21                     '/#/',
22                     '/\^/',
23                     '/\[/',
24                     '/\]/',
25                     '/\x80/',
26                     '/\n/');
27         $out = array('\\symbol{34}',
28                     '\\symbol{38}',
29                     '\\symbol{37}',
30                     '\\symbol{36}',
31                     '\\symbol{64}',
32                     '\\symbol{35}',
33                     '\\symbol{94}',
34                     '\\texttt{\\symbol{91}}',
35                     '\\texttt{\\symbol{93}}',
36                     '\\euro{}',
37                     '\\');
38         
39         return preg_replace($in, $out, $text);
40     }
41         
42 ?>
43