Arc Forumnew | comments | leaders | submitlogin
4 points by absz 6287 days ago | link | parent

As a point of information, the relevant "axiom" is called seval, and $ is just defined to implicitly quote things.