| … | |
… | |
| 455 | } |
455 | } |
| 456 | |
456 | |
| 457 | if($char eq "{") {$char = '\lbrace';} |
457 | if($char eq "{") {$char = '\lbrace';} |
| 458 | if($char eq "}") {$char = '\rbrace';} |
458 | if($char eq "}") {$char = '\rbrace';} |
| 459 | $out .= '\(\left.\vphantom{\begin{array}{c}'; |
459 | $out .= '\(\left.\vphantom{\begin{array}{c}'; |
| 460 | for($j=0;$j<=$numRows;$j++) { $out .= '\! \\\\'; } |
460 | for($j=0;$j<=$numRows;$j++) { $out .= '\!\strut\\\\'; } |
| 461 | $out .= '\end{array}}\right'.$char.'\)'; |
461 | $out .= '\end{array}}\right'.$char.'\)'; |
| 462 | return($out); |
462 | return($out); |
| 463 | } |
463 | } |
| 464 | |
464 | |
| 465 | # Basically uses a table of special characters and simple |
465 | # Basically uses a table of special characters and simple |
Parent Directory
| 
Revision Log
| 
Patch