nu-entry>
    <k4-tactic-menu-entry
            disabled="agenda.items().length <= 0"
            proof-id="{{proofId}}" user-id="{{userId}}" hide-long-help="true"
            name="False" code-name="closeF" exec="doTactic(undefined, codeName)"></k4-tactic-menu-entry>
    <k4-tactic-menu-entry
            disabled="agenda.items().length <= 0"
            proof-id="{{proofId}}" user-id="{{userId}}"
            name="&#8596;CR" code-name="commuteEquivR"
            exec="openTacticPosInputDialog(codeName, 'R'