$A^TA$ is always a symmetric matrix?

Through experience I've seen that the following statement holds true: "$A^TA$ is always a symmetric matrix?", where $A$ is any matrix.

However can this statement be proven/falsefied?

• Do you know what $(A\cdot B)^T$ is? – Daniel Fischer Aug 12 '13 at 13:38
• Clearly your definition of symmetric is not (literally) to equal its own transpose. What is your definition? – wildildildlife Aug 12 '13 at 15:14

Ideally we've already proved both $(A^T)^T=A$ and $(AB)^T=B^T A^T$. If not, prove these first. Then $(A^T A)^T=A^T (A^T)^T =A^TA$.
We know $(AB)^T=B^TA^T$, so $(A^TA)^T=A^T(A^T)^T=A^TA$ and hence $A^TA$ is always symmetric.