ViEditor › INTP › IntroductionToLogicByTarski › DictDotOrg › FreeBank › CommentMacro
".$options[timer]->Write()."