class="mdzsyn-symbol">f</span>]
 (<span class="mdzsyn-coresym">default</span> <span class="mdzsyn-symbol">d</span> <span class="mdzsyn-number">10</span>)
 (<span class="mdzsyn-coresym">default</span> <span class="mdzsyn-symbol">e</span> <span class="mdzsyn-number">11</span>)
 (<span class="mdzsyn-coresym">default</span> <span class="mdzsyn-symbol">f</span> <span class="mdzsyn-number">12</span>)
 (<span class="mdzsyn-coresym">+</span> <span class="mdzsyn-symbol">a</span> <span class="mdzsyn-symbol">b</span> 