1[default.extend-words]
 2thm = "thm"
 3
 4# equations stuff
 5ba = "ba"
 6nd = "nd"
 7
 8# names
 9Strang = "Strang"
10Bootle = "Bootle"