This is definitely much simpler and semantically better. Surprised I didn't think to put the implies part in the environment itself.

@JouleV I'm not dealing with cases. Additionally, the cases environment has undesirable spacing and requires me to manually enter mathmode for the other side of the equation. Furthermore, I'd presumably have to use a similar hack as in the solution to get it to line up as wanted.

@JouleV I want to show that the top equation is a variation of the more common form. The bottom is another equation and I want the brace to show I'm combining those two (result not shown here). If I leave [t] out from aligned then things look nice, but it seems as if the left-most equation implies the equation system.

@JouleV Like in Steven's answer.

@BrunoLeFloch \c_zero seems to be deprecated too.

@ChristianHupfer Sorry about that.