cdlatex.new, abbrev_defs