% Encoding: UTF-8
@preamble{"\providecommand{\constanti}{\ensuremath{i}}
\providecommand{\constantpi}{\ensuremath{\pi}}
\providecommand{\constantvarpi}{\ensuremath{\varpi}}
\providecommand{\constanttau}{\ensuremath{\tau}}
\providecommand{\constantphi}{\ensuremath{\varphi}}
\providecommand{\constantdeltaS}{\ensuremath{\delta_S}}
\providecommand{\constantpsi}{\ensuremath{\psi}}
\providecommand{\constante}{\ensuremath{e}}
\providecommand{\constantgamma}{\ensuremath{\gamma}}
"}

@symbol{i-constant,
  symbol = {\ensuremath{\sqrt{-1}}},
  name = {\constanti},
  description = {imaginary unit}
}

@symbol{pi-constant,
  user1 = {3.14159265358979323846},
  name = {\constantpi},
  description = {ratio of a circle's circumference to its diameter}
}

@symbol{tau-constant,
  user1 = {6.28318530717958647692},
  symbol = {\ensuremath{2\constantpi}},
  see = {pi-constant},
  name = {\constanttau},
  description = {ratio of a circle's circumference to its radius}
}

@symbol{phi-constant,
  user1 = {1.61803398874989484820},
  symbol = {\ensuremath{\frac{1+\sqrt{5}}{2}}},
  name = {\constantphi},
  description = {golden ratio}
}

@symbol{deltaS-constant,
  user1 = {2.41421356237309504880},
  symbol = {\ensuremath{\sqrt{2}+1}},
  name = {\constantdeltaS},
  description = {silver ratio}
}

@symbol{psi-constant,
  user1 = {1.46557123187676802665},
  symbol = {\ensuremath{
\frac{1
+ \sqrt[3]{\frac{29+3\sqrt{93}}{2}}
+ \sqrt[3]{\frac{29-3\sqrt{93}}{2}}
}{3}}},
  name = {\constantpsi},
  description = {supergolden ratio}
}

@symbol{e-constant,
  user1 = {2.71828182845904523536},
  symbol = {\ensuremath{\sum_{n=0}^\infty\frac{1}{n!}}},
  name = {\constante},
  description = {Euler's number}
}

@symbol{gamma-constant,
  user1 = {0.57721566490153286060},
  symbol = {\ensuremath{
\lim_{n\to\infty}
\left(
-\log n + \sum_{k=1}^n \frac{1}{k}
\right)
}},
  name = {\constantgamma},
  description = {Euler's constant}
}

@symbol{G-constant,
  name={\constantG}
}

@symbol{Gauss-constant,
 parent={G-constant},
 description={Gauss's constant},
 symbol={\ensuremath{\frac{\constantvarpi}{\constantpi}}},
 user1={0.83462684167407318628}
}

@symbol{Catalan-constant,
 parent={G-constant},
 description={Catalan's constant},
 symbol={\ensuremath{\beta(2)}},
 user1={0.91596559417721901505}
}

@symbol{Gieseking-constant,
 parent={G-constant},
 description={Gieseking constant},
 user1={1.01494160640965362502}
}

