Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitability of input analysis methods for mathematical discourse in a dialog setting, due to the lack of empirical data. In this paper, we report on the development of a dependency-based lexicalist grammar for parsing input in dialogs on mathematics. We investigate the semantic relations that build the linguistic meaning of mathematical text in order to inform construction of the grammar. The ultimate goal is to provide a uniform analysis of texts with different degrees of verbalization: ranging from symbolic alone to fully worded mathematical expressions.