%dbldown% {mathml}

Down double arrow, displayed as x dArr y

Description

Down double arrow, displayed as x dArr y

Usage

x %dbldown% y

Arguments

x

first element

y

second element

Value

NA, it produces a downward double arrow