some more textual thoughts

source/mmt/poisson.mmt

@@ -12,7 +12,12 @@ theory PoissonEquation : top:?Base =
   include mitm:/smglom/arithmetics?realarith 
   
   // TODO f, k and t as functions that are defined on Ω and return values of arbitrary QE on Ω 
+  f : Ω → QE // needs to be 2 times derivable in Ω but is usually determined to be that was
+  u : Ω → QE // additionally needs to be integrable => metricspaces?
+  
   // the dimensions in which we derive (dx) as (subspace of) space where omega lies => probably implicitly by definition of f
+  
+  // general form of PE: usually f is unknown and needs to be solved for 
 	poisson_equation : {}  = <prop | [p] ⊦ ∃f ∃t p= ( d( k*(df/dx))/dx = t) >
 	
 

source/thermistor/quantities.mmt

@@ -137,7 +137,7 @@ theory SpatialTemperature : top:?Base =
   include ?DeviceGeometry 
   /T Spatial variation of the potential,
 	   usually denoted by $φ$. 
-	potential : Ω → (QE SItemperature)  # T	
+	potential : Ω → (QE Temperature)  # T	
 
 
 theory ReferenceTemperature : top:?Base =