added source of tex