Absolute logarithmic Weil height (source code)

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

= Logarithmic height
{synonym}

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