elisp中一般常用的有4种注释的类型，分别是 ; ;; ;;; ;;;; 一个;一般用于行注释，解释当前行的代码用意，而两个，三个以及四个分别用在不同范围的代码块中，用于比较清晰的表达代码意图，如下图选自org-mode中的一些代码，可以参考下。

设置checkbox的cascade: 'undetermined|up|down'分别试试，你说的效果undetermined应该可以实现