TeX for BDSA