(TeX-add-style-hook
 "blx-dm"
 (lambda ()
   (TeX-add-symbols
    "blx"
    "constraint"
    "constraintfieldsxor"
    "constraintfieldsor"
    "antecedent"
    "consequent"
    "constraintfield"))
 :latex)

