Formal algebras are among the most powerful and general mechanisms for expressing quantitative relational statements, and yet even university engineering students, who are relatively proficient with algebraic manipulation, struggle with and often fail to correctly deploy basic aspects of algebraic notation (Clement, 1982). In the cognitive tradition, it has often been assumed that skilled users of these formalisms treat situations in terms of semantic properties encoded in an abstract syntax that governs the use of notation without particular regard to the details of the physical structure of the equation itself (Anderson, 2005;Hegarty, Mayer, & Monk, 1995). We explore how the notational structure of verbal descriptions or algebraic equations (e.g., the spatial proximity of certain words, or the visual alignment of numbers and symbols in an equation) plays a role in the process of interpreting or constructing symbolic equations. More specifically, we propose that construction processes involve an alignment of notational structures across representation systems, biasing reasoners toward the selection of formal notations that maintain the visuo-spatial structure of source representations. For example, in the statement "There are five elephants for every three rhinoceroses," the spatial proximity of "five" and "elephants; and "three" and "rhinoceroses" will bias reasoners to write the incorrect expression 5E = 3R because that expression maintains the spatial relationships encoded in the source representation. In three experiments, participants construct equations with given structure, based on story problems with a variety of phrasings. We demonstrate how the notational alignment approach accounts naturally for a variety of previously reported phenomena in equation In the case of symbolic algebra, a tension between formal syntactic rules and visual patterns can arise. The formal syntax of algebra encodes relations among quantities by abstract rules specified in terms of ordinal relations among symbol tokens. The same mathematical expression can be rearranged in a number of different ways without altering the formal content of the equation. On Abstract numeric relations 4 the other hand, a particular symbol system such as mathematics uses spatial relations in unique ways to convey additional meaning (Sherin, 2001). In the usual algebraic syntax, this tension creates visual structures that are sometimes aligned with (Landy & Goldstone, 2007a), and sometimes opposed to (Kirshner, 1989;Kirshner & Awtry, 2004;Marquis, 1988), underlying mathematical content. A rich notational calculus such as modern algebra replaces some conceptual relations with concrete organizational relations specified by principles of visualization and perceptual organization (Dantzig, 1930;Malle, 1993;Goldstone, Landy, & Son, 2010). For example, the relatively large space surrounding the equals sign in an arithmetic equation allows spatial grouping to serve as a proxy for the conceptual separation of an equation into left-hand and right-hand sides ...