<!-- TODO ng-switch makes it slow, but we don't get drag&drop on formula.js -->
<script type="text/ng-template" id="formula-renderer.html">
    <span class="hl" ng-if="highlight" id="::formula.id"
          onmouseover="$(event.target).addClass('hlhover');"
          onmouseout="$(event.target).removeClass('hlhover');"
          ng-switch on="::formula.name">
        <span ng-switch-when="not">
            <span data-drop="true" data-jqyoui-options jqyoui-droppable="{onDrop:'onDropFormula(::formula)'}" ng-m