+\begin{figure}[t]
+ \begin{center}
+ \includegraphics[width=0.40\textwidth]{matita-screenshot-selection}
+ \hspace{0.05\textwidth}
+ \includegraphics[width=0.50\textwidth]{matita-screenshot-href}
+ \caption{Semantic selection and hyperlinks}
+ \label{fig:semselection}
+ \end{center}
+\end{figure}
+