Sindbad~EG File Manager

<div id="pageName0">
  <div align="justify">
   
<?php
$Chapter = "3";
$descriptions["Satz3.1"] ="\$ T(a,b,b) \$"; 
$descriptions["Satz3.2"] ="\$ T(a,b,c) \\rightarrow T(c,b,a) \$"; 
$descriptions["Satz3.3"] ="\$ T(a,a,b)  \$"; 
$descriptions["Satz3.4"] ="\$  T(a,b,c) \\land T(b,a,c) \\rightarrow a=b \$"; 
$descriptions["Satz3.5a"] ="\$ T(a,b,d) \\land T(b,c,d) \\rightarrow T(a,b,c)  \$"; 
$descriptions["Satz3.6a"] ="\$ T(a,b,c) \\land T(a,c,d) \\rightarrow T(b,c,d) \$"; 
$descriptions["Satz3.7a"] ="\$T(a,b,c) \\land T(b,c,d) \\land b\\neq c\\rightarrow T(a,c,d)  \$"; 
$descriptions["Satz3.5b"] ="\$ T(a,b,d) \\land T(b,c,d) \\rightarrow T(a,c,d)  \$"; 
$descriptions["Satz3.6b"] ="\$T(a,b,c) \\land T(a,c,d) \\rightarrow  T(a,d,b)  \$"; 
$descriptions["Satz3.7b"] ="\$ T(a,b,c) \\land T(b,c,d) \\land b\\neq c\\rightarrow  T(a,b,d) \$"; 
$descriptions["Satz3.13a"] ="\$\\alpha \\neq  \\beta  \$";
$descriptions["Satz3.13b"] ="\$ \\beta \\neq  \\gamma \$";
$descriptions["Satz3.13c"] ="\$\\alpha \\neq  \\gamma  \$";
$descriptions["Satz3.14a"] ="\$ T(a,b,ext(a,b,\\alpha,\\gamma) \$";
$descriptions["Satz3.14b"] ="\$ b\\neq  ext(a,b,\\alpha,\\gamma) \$";
$descriptions["Satz3.17"] ="\$ T(a,b,c) \\land T(a_1,b_1,c) \\land T(a,p,a_1)  \\rightarrow 
        \\exists q(T(p,q,c) \\land T(b,q,b_1) \$"; 

include("DisplayResults.php");
?>