// Test basic alignment.
$ x &= x + y \
    &= x + 2z \
    &= sum x dot 2z $