Set Printing Width 400.
Notation "b1 && b2" := (if b1 then b2 else false).
Locate "&&".