local commands = {}
-- A command to create a horizontal rule.
-commands.rule = "\\blackrule[height=0.5pt,depth=0pt,width=.40\\textwidth]"
+commands.rule = "\\HLine[width=.40 * \\the\\textwidth]"
-- Pretty printer to use for the stuff before and after the line
commands.before_pret = "lam"
commands.after_pret = "lam"