This LaTeX package can output annotation symbols enclosed in
square brackets and marked with an asterisk.