PhysicalConstants
The vaccuum dielectric permitivity constant (usually denoted by ε_0)
constant vacuum_dielectric_permitivity
type
parsing-notationε_0 (precedence 0)
The elementary charge (denoted by q)
constant elementary_charge
type
parsing-notationq (precedence 0)
The Boltzmann constant (usually denoted by k_B)
constant Boltzmann_constant
type
parsing-notationk_B (precedence 0)