Add dex syntax file for TeX