Based on suggestions.

chapters/overloaded.tex

@@ -4,7 +4,7 @@ \chapter{Overloaded Operators}\label{overloaded-operators}
 
 The overloading is defined in such a way that ambiguities are not allowed and give an error.
 Furthermore, it is sufficient to define overloading for scalars.
-Some overloaded array operations are automatically deduced from the overloaded scalar operations, and others can be defined independently of the corresponding scalar operations.
+Some overloaded array operations are automatically deduced from the overloaded scalar operations (see \cref{overloaded-binary-arrays} and \cref{overloaded-unary-array} in the lists below), and others can be defined independently of the corresponding scalar operations.
 
 \section{Overview of overloaded operators}\label{overview-of-overloaded-operators}
 
@@ -280,7 +280,9 @@ \section{Overloaded Unary Operations}\label{overloaded-unary-operations}
   function $f$ in \lstinline!A.$\theop$! such that \lstinline!A.$\theop$.$f$(a)! is a valid
   match, then \lstinline!$\theop$ a! is evaluated to \lstinline!A.$\theop$.$f$(a)!. It is an
   error, if there are multiple valid matches.
+  Note that if the operations take array arguments, they will in this step only match if the number of dimensions match.
 \item
+  \label{overloaded-unary-array}
   Otherwise, if \lstinline!a! is an array expression, then the expression
   is conceptually evaluated according to the rules of \cref{scalar-vector-matrix-and-array-operator-functions}.
 \item