(defun htmlize-note-ref (tag body)
      (declare (ignore tag))
      (incf *note-ref-counter*)
      `((:a :id ,(format nil "link~A" *note-ref-counter*))
        (:sup ((:a :href ,(format nil "#~A" *note-ref-counter*))
               ,@body))))
          
    (defun make-foo-html ...    
        ,@(when notes
                `((:hr)
                  ,@(loop for note in (translate-tags notes) 
                       for number from 1 
                       do (push `((:a :href ,(format nil "#link~A" number))
                                  (:sup ,(format nil "~d. " number))) (cdadr note))
                         collect note)))


;;;Done!