HTMLCheckbox[name] returns an HTML input tag of type checkbox
checks/unchecks the checkbox
You can demonstrate how the function works by installing and loading the package:
If a second argument is given, it is used to determine whether or not the box is checked. In the following example the checkbox is checked.
HTMLFormat HTMLTableForm HTMLSelect