Non-Archimedean absolute value (source code)

= Non-Archimedean absolute value
{c}
{title2=$|\cdot|$}

A non-Archimedean absolute value satisfies the ultrametric inequality $|x+y|\leq\max(|x|,|y|)$.