Author: matthew
Description:
To get this to work, all I needed to do was add this line to texutil.ml:
| "\\checkmark" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\checkmark
I added it below this like:
| "\\square" -> (tex_use_ams (); LITERAL (TEX_ONLY "\\square "))
Version: unspecified
Severity: normal