Minimal edit on notation
LHS and RHS written out