[tgv]

That's the classical LISP way of doing it:

    (eq (mul a
             a)
        (pow a
             2))

or

    (eq
        (mul
             a
             a
        )
        (pow
             a
             2
        )
    )