better automatic typesetting of spacing for differentials
fix goof in der command
fix damaged version of lmlogo.svg