// Test wide base.
$arrow("ABC" + d), tilde(sum)$