<i>ObjC&#x27;s dot syntax?</i><p>Sure.  That&#x27;s easy in Lumen:  <a href="https:&#x2F;&#x2F;github.com&#x2F;sctb&#x2F;lumen&#x2F;commit&#x2F;6410c8cc2de66d1976515bdd71ab9b65c12cbf10#diff-910c7ff4864f437a8c67427b7b055657R70" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;sctb&#x2F;lumen&#x2F;commit&#x2F;6410c8cc2de66d1976515bd...</a><p><i>Is it possible to use this technique to introduce, say, infix arithmetic operators?</i><p>Yep!  I wrote a macro to swap any instance of `x with the previous expression.  Meaning, it allows you to write:<p><pre><code>  (foo `= (x `+ y))
</code></pre>
rather than<p><pre><code>  (= foo (+ x y))
</code></pre>
The reason it was so easy to do this is because `foo is shorthand for (quasiquote foo).  So the macro simply steps through a body of code, looks for any instance of quasiquote followed by an atom, and then swaps it with the previous expression.<p>But more generally, it&#x27;s easy to write a macro to do whatever you want.  If you really want infix expressions all of the time, I could imagine writing a macro which matches the pattern (... + ... + ...) and replaces it with (+ ... ... ...)<p>That&#x27;s made-up notation, but the idea is just &quot;look for some set of symbols, like + or &#x2F;, which occur within a list in between all of the other elements, and then move the symbol to the front of the list.&quot;<p>The power is available to you, but whether you choose to use it is a separate question.  Prefix notation tends to be a win for everything except math.  And even for math, it&#x27;s usually a matter of code formatting.  Rather than<p><pre><code>  (- (* 2 (&#x2F; (+ x y) (+ a b c))) 1)
</code></pre>
try<p><pre><code>  (- (* 2
        (&#x2F; (+ x y)
           (+ a b c)))
     1)
</code></pre>
or<p><pre><code>  (let u (+ x y)
    (&#x2F;= u (+ a b c))
    (*= u 2)
    (-- u))
</code></pre>
Once Laarc has support for indentation-as-parens, it&#x27;d look like:<p><pre><code>  let u (+ x y)
    &#x2F;= u (+ a b c)
    *= u 2
    -- u
</code></pre>
which is rather pretty, and has no ambiguity.  One of pg&#x27;s essays on Arc mentioned this feature, and it seems like a good idea, so I hope to pursue it.