for now, lets assume we are receiving simple TeX inputs