1[default.extend-words]
 2iddeal = "ideal"
 3iddeals = "ideals"
 4allpha = "alpha"
 5
 6# strings that are not a typo:
 7thm = "thm"
 8
 9# equations stuff
10ba = "ba"
11nd = "nd"
12
13# names
14Strang = "Strang"
15Bootle = "Bootle"