Talk:Symbolic language (mathematics)