Absolute logarithmic Weil height (source code)

= Absolute logarithmic Weil height
{c}
{title2=$h(\alpha)$}

The absolute logarithmic Weil height is $h(\alpha)=\log H(\alpha)$.