> The only change is newlines. The quick reference says nothing about newlines. Under 'Valid Expressions', it has: "If it is multiple lines, the software joins

> The only change is newlines. The quick reference says nothing about newlines. Under 'Valid Expressions', it has: "If it is multiple lines, the software joins those lines to be a single expression and decides that statement. The software treats each line that is a statement as if it were conjoined to the other lines that are statements with a logical AND. " And if you try the Depict button on those two expressions, you'll see that the first is interpreted as ((x, Hx->Mx)&Hs)->Ms) whereas the second is seen as (x, Hx->Mx)&(Hs->Ms)