spaces around `|=`