Changeset 17
- Timestamp:
- 06/12/08 21:38:03 (7 months ago)
- Files:
-
- trunk/pgiac/pgiac (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/pgiac/pgiac
r16 r17 211 211 my $t = shift; 212 212 if ($STRING eq "text") { 213 $t =~ s/\^/\\\^\{}/g; 214 $t =~ s/\-\>/\\(\\rightarrow\\)/g; 213 215 return << "eop"; 214 216 {\\MarqueLaTeXGiac{\\[\\text{$t}\\]}} 217 eop 218 } 219 if ($STRING eq "tex") { 220 $t =~ s/\-\>/\\rightarrow /g; 221 return << "eop"; 222 {\\MarqueLaTeXGiac{\\[$t\\]}} 215 223 eop 216 224 } … … 328 336 } 329 337 if ($1 eq "string") { 330 ($2 eq "verbatim" or $2 eq "text" ) and $STRING = $2;338 ($2 eq "verbatim" or $2 eq "text" or $2 eq "tex" ) and $STRING = $2; 331 339 } 332 340 if ($1 eq "commande") {
