With these reader macros, can the code in the blog example be rewritten as below, so it still directly maps to the Lisp tree-like semantics, but be more readable?

  defun diff(expr, x){
    if(expr == x) 1
    else if(car(expr) == 'plus') ['plus', diff(cadr(expr), x), caddr(expr), x]
    else if(car(expr) == 'times')[
      'plus',
      ['times', cadr(expr), diff(caddr(expr), x)],
      ['times', diff(cadr(expr), x), caddr(expr)]
    ]else 0
  }