Math linguistics, semantics