From a5c0a29a44ace07b219045c27ddc436db227d5ea Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Wed, 20 Sep 2017 18:37:39 +0200
Subject: [PATCH] debugging with pin

---
 source/DensityElectrons.en.tex        | 2 +-
 source/ElectrostaticPotential.en.tex  | 2 +-
 source/ElectrostaticPotential.tex     | 2 +-
 source/FermiPotentialElectrons.en.tex | 2 +-
 source/FermiPotentialElectrons.tex    | 6 +++---
 source/FermiPotentialHoles.en.tex     | 2 +-
 source/FermiPotentialHoles.tex        | 6 +++---
 source/mmt/Quantities.mmt             | 5 +++--
 8 files changed, 14 insertions(+), 13 deletions(-)

diff --git a/source/DensityElectrons.en.tex b/source/DensityElectrons.en.tex
index 193262d..cfc7860 100644
--- a/source/DensityElectrons.en.tex
+++ b/source/DensityElectrons.en.tex
@@ -1,6 +1,6 @@
 \begin{mhmodnl}{DensityElectrons}{en}
 \begin{definition}
-  Formula for the electron density for the Boltzmann approximation.
+  Formula for the \defii{electron}{density} for the Boltzmann approximation.
 \end{definition}
 \end{mhmodnl}
 
diff --git a/source/ElectrostaticPotential.en.tex b/source/ElectrostaticPotential.en.tex
index 94f7c75..ffec3aa 100644
--- a/source/ElectrostaticPotential.en.tex
+++ b/source/ElectrostaticPotential.en.tex
@@ -1,6 +1,6 @@
 \begin{mhmodnl}{ElectrostaticPotential}{en}
   \begin{definition}
-    Spatial variation of the electrostatic potential, usually denoted by
+    Spatial variation of the \defii{electrostatic}{potential}, usually denoted by
     $\ElectrostaticPotential$.
   \end{definition}
 \end{mhmodnl}
diff --git a/source/ElectrostaticPotential.tex b/source/ElectrostaticPotential.tex
index ff83138..af9a981 100644
--- a/source/ElectrostaticPotential.tex
+++ b/source/ElectrostaticPotential.tex
@@ -1,4 +1,4 @@
-I\begin{modsig}{ElectrostaticPotential}
+\begin{modsig}{ElectrostaticPotential}
   \gimport{DeviceGeometry}
 
   \symdef[name=electrostatic-potential]{ElectrostaticPotential}{\Psi}
diff --git a/source/FermiPotentialElectrons.en.tex b/source/FermiPotentialElectrons.en.tex
index 285919e..e41beb9 100644
--- a/source/FermiPotentialElectrons.en.tex
+++ b/source/FermiPotentialElectrons.en.tex
@@ -1,6 +1,6 @@
 \begin{mhmodnl}{FermiPotentialElectrons}{en}
 \begin{definition}
-  The \defiii{Fermi}{Potential}{Electrons} usually denoted by $\Fn$ is a function
+  The \defiii{Fermi}{Potential}{Electrons} usually denoted by $\QFPn$ is a function
   describing the variation of the quasi-Fermi potentials of the electrons across the
   domain $\DeviceDomain$.  It is linked to the quasi-Fermi level of the electrons which
   controls the occupation of the conduction band and is a measure for the electron density
diff --git a/source/FermiPotentialElectrons.tex b/source/FermiPotentialElectrons.tex
index 419265f..492fc7d 100644
--- a/source/FermiPotentialElectrons.tex
+++ b/source/FermiPotentialElectrons.tex
@@ -2,9 +2,9 @@
 \begin{modsig}{FermiPotentialElectrons}
   \gimport{DeviceGeometry}
   
-  \symdef[name=quasi-Fermi-potential]{FnOp}{\varphi_n}
-  \symdef[name=quasi-Fermi-potential]{Fn}[1]{\prefix\FnOp{#1}}
-  \symtest{Fn}{\Fn{x}}
+  \symdef[name=quasi-Fermi-potential]{QFPnOp}{\varphi_n}
+  \symdef[name=quasi-Fermi-potential]{QFPn}[1]{\prefix{\QFPnOp}{#1}}
+  \symtest{QFPn}{\QFPn{x}}
 \end{modsig}
 
 %%% Local Variables:
diff --git a/source/FermiPotentialHoles.en.tex b/source/FermiPotentialHoles.en.tex
index 958a30c..2fdb227 100644
--- a/source/FermiPotentialHoles.en.tex
+++ b/source/FermiPotentialHoles.en.tex
@@ -1,6 +1,6 @@
 \begin{mhmodnl}{FermiPotentialHoles}{en}
 \begin{definition}
-  The \defiii{Fermi}{Potential}{Holes} usually denoted by $\Fp$ is a function describing
+  The \defiii{Fermi}{Potential}{Holes} usually denoted by $\QFPp$ is a function describing
   the variation of the quasi-Fermi potentials of the holes across the domain
   $\DeviceDomain$.  It is linked to the quasi-Fermi level of the holes which controls the
   occupation of the valance band. Its gradient is the driving force of the hole current.
diff --git a/source/FermiPotentialHoles.tex b/source/FermiPotentialHoles.tex
index 6ade305..3600f4f 100644
--- a/source/FermiPotentialHoles.tex
+++ b/source/FermiPotentialHoles.tex
@@ -1,9 +1,9 @@
 \begin{modsig}{FermiPotentialHoles}
   \gimport{DeviceGeometry}
   
-  \symdef[name=quasi-Fermi-potential]{FpOp}{\varphi_n}
-  \symdef[name=quasi-Fermi-potential]{Fp}[1]{\prefix\FpOp{#1}}
-  \symtest{Fp}{\Fp{x}}
+  \symdef[name=quasi-Fermi-potential]{QFPpOp}{\varphi_p}
+  \symdef[name=quasi-Fermi-potential]{QFPp}[1]{\prefix{\QFPpOp}{#1}}
+  \symtest{QFPp}{\QFPp{x}}
 \end{modsig}
 
 %%% Local Variables:
diff --git a/source/mmt/Quantities.mmt b/source/mmt/Quantities.mmt
index 9d0bb89..5691860 100644
--- a/source/mmt/Quantities.mmt
+++ b/source/mmt/Quantities.mmt
@@ -52,7 +52,8 @@ theory SpatialDensity : qe:?SIUnits =
 theory SpatialPotential : qe:?SIUnits =
 	include Models/device?DeviceGeometry ❙
   /T Spatial variation of the potential,
-	   usually denoted by $φ$. ❙
+
+usually denoted by $φ$. ❙
 	potential : Ω → (QE ElectricPotential) ❘ # φ ❘ role Quantity ❙	
 ❚
 	
@@ -66,4 +67,4 @@ theory SpatialCurrentDensity : qe:?SIUnits =
    include Models/device?DeviceGeometry ❙
    include ?CurrentDensity ❙
 	spatialcurrentdensity : Ω → QE currentdensity_dim ❘ # j ❘ role Quantity ❙
-❚
\ No newline at end of file
+❚
-- 
GitLab