2.1.1: Formal Languages "The formal language of basic algebra, for example, includes strings such as x, y, and x + y, but not x y. Propositional logic includes X, Y, and X ∧ Y but not X Y." Is this supposed to be spaces or is this a typo? Because I know that xy is possible with algebra, but not x y. #4