%% 
%%  Example 06-04-1 
%%  Copyright (C) 2016 Herbert Voss
%% 
%% ==== 
% Show page(s) 1
%% 
%% 
\documentclass[]{screxa}
\pagestyle{empty}
\setlength\textwidth{158.31393pt}
\setlength\parindent{0pt}
\usepackage[T1]{fontenc}
%StartShownPreambleCommands
\renewcommand\eqdef{\ensuremath{%
  \mathrel{\stackrel{\mathrm{def}}{=}}}}
\newcommand\eqexcl{\ensuremath{%
  \mathrel{\stackrel{\mathrm{!}}{=}}}}
\newcommand\eqhat{\ensuremath{%
  \mathrel{\widehat{=}}}}
%StopShownPreambleCommands
\begin{document}
\eqdef \quad \eqexcl \quad \eqhat
\end{document}
