Actually use IPython input transformer to get correct syntax